% z3debug-8d39694 bug.smt2
ASSERTION VIOLATION
File: ../src/math/lp/lar_solver.cpp
Line: 1706
all_vars_are_registered(coeffs)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
ASSERTION VIOLATION
File: ../src/util/old_vector.h
Line: 370
idx < size()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB