[504] % z3release small.smt2
unsat
Segmentation fault
[505] % z3debug small.smt2
unsat
ASSERTION VIOLATION
File: ../src/cmd_context/cmd_context_to_goal.cpp
Line: 34
ctx.assertions().size() == ctx.assertion_names().size()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
[506] % cat small.smt2
(assert false)
(set-option :unsat_core true)
(check-sat)
(check-sat-using propagate-bv-bounds)
[507] %