% z3-65de3f7 bug.smt2
ASSERTION VIOLATION
File: ../src/util/obj_hashtable.h
Line: 177
e
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
Segmentation fault
%
% z3debug-ceb2849 bug.smt2
ASSERTION VIOLATION
File: ../src/util/obj_hashtable.h
Line: 177
e
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
Segmentation fault
% cat bug.smt2
(declare-fun x1 () Bool)
(assert (not x1))
(check-sat-using sine-filter)
OS: Ubuntu 18.04
Commit: 65de3f7 (master), ceb2849 (debug)