ASSERTION VIOLATION, File: ../src/util/vector.h Line: 912 #7550
Description
Hi,
For the following instance, z3 c2b7b58 debug build
$ z3 small.smt2
ASSERTION VIOLATION
File: ../src/util/vector.h
Line: 912
idx < size()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
$ cat small.smt2
(set-option :opt.priority box)
(declare-const a Real)
(declare-const b Real)
(assert (< 0 b))
(maximize (mod 0 0))
(minimize (mod 1 (to_int a)))
(check-sat)