Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) #1511

Job	Run time
ubuntu-latest\|release\|--enable-thread-safety\|CC=clang CXX=clang++ (pr)	3m 52s
ubuntu-latest\|gcov\|--enable-mcsat\|CC=gcc-13 CXX=g++-13 (pr)	10m 50s
ubuntu-latest\|release\|--enable-thread-safety\|CC=gcc CXX=g++ (pr)	4m 5s
macos-latest\|debug\|--enable-thread-safety\|CC=clang CXX=clang++ (pr)	7m 11s
ubuntu-latest\|debug\|--enable-mcsat\|CC=gcc CXX=g++ (pr)	11m 36s
ubuntu-latest\|debug\|--enable-thread-safety --enable-mcsat\|CC=gcc CXX=g++ (pr)	9m 53s
macos-latest\|debug\|--enable-mcsat\|CC=clang CXX=clang++ (pr)	16m 29s
ubuntu-latest\|gcov\|--enable-thread-safety --enable-mcsat\|CC=gcc-13 CXX=g++-13 (pr)	10m 53s
macos-latest\|release\|--enable-thread-safety\|CC=clang CXX=clang++ (pr)	5m 27s
ubuntu-latest\|release\|--enable-mcsat\|CC=clang CXX=clang++ (pr)	7m 1s
macos-latest\|release\|--enable-mcsat\|CC=clang CXX=clang++ (pr)	12m 5s
macos-latest\|debug\|--enable-thread-safety --enable-mcsat\|CC=clang CXX=clang++ (pr)	17m 0s
ubuntu-latest\|release\|--enable-thread-safety --enable-mcsat\|CC=gcc CXX=g++ (pr)	5m 31s
ubuntu-latest\|release\|--enable-mcsat\|CC=gcc CXX=g++ (pr)	6m 58s
ubuntu-latest\|debug\|--enable-thread-safety\|CC=clang CXX=clang++ (pr)	4m 21s
macos-latest\|release\|--enable-thread-safety --enable-mcsat\|CC=clang CXX=clang++ (pr)	14m 26s
ubuntu-latest\|debug\|--enable-thread-safety\|CC=gcc CXX=g++ (pr)	4m 53s
ubuntu-latest\|debug\|--enable-mcsat\|CC=clang CXX=clang++ (pr)	11m 45s
${{ matrix.os }}\|${{ matrix.mode }}\|${{ matrix.config-opt }}\|${{ matrix.env }} (push)	-9s
	2h 44m 7s

Navigation Menu