makaimann opened this issue 4 years ago · 1 comments
This bug could be in smt-switch or CVC4 as well, because this doesn't occur when I tried switching the default solver to MathSAT. It's unclear at this point where exactly the problem is.
Addressed by #88