You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
############################################
running z3 -T:1 sat.euf=true sat.smt=true problem.smt2
............................................
Asserting this expression twice in a row:
(not p!6)
ASSERTION VIOLATION
File: ../src/qe/qsat.cpp
Line: 581
UNEXPECTED CODE WAS REACHED.
Z3 4.12.3.0
Please file an issue with this message and more detail about how you encountered it at https://github.com/Z3Prover/z3/issues/new
The text was updated successfully, but these errors were encountered:
z3
runs into "unexpected code" when running with the new core on the following problem:Output:
The text was updated successfully, but these errors were encountered: