You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On the attached example, I incorrectly get a sat response and an invalid model. LemonRindBug.smt2.txt
Without the push 1 command I would get the expected result.
This problem is absolutely not urgent for us. At the moment we rarely have modulo terms where the second operand is not a constant. I just stumbled upon this problem while developing some examples for a lecture.
The text was updated successfully, but these errors were encountered:
On the attached example, I incorrectly get a
sat
response and an invalid model.LemonRindBug.smt2.txt
Without the
push 1
command I would get the expected result.This problem is absolutely not urgent for us. At the moment we rarely have modulo terms where the second operand is not a constant. I just stumbled upon this problem while developing some examples for a lecture.
The text was updated successfully, but these errors were encountered: