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
The text was updated successfully, but these errors were encountered:
rainoftime
changed the title
Debug branch: Assertion violation at sr/ast/ast.cpp:2820
Debug branch: assertion violation at sr/ast/ast.cpp:2820
Mar 5, 2020
Both the master and debug branches have the issue.
rainoftime
changed the title
Debug branch: assertion violation at sr/ast/ast.cpp:2820
Assertion violation when enabling proof generation: src/ast/ast.cpp:2820
Mar 5, 2020
Hi,
For this formula:
Z3 throws out an assertion violation:
OS: Ubuntu 16.04
Debug branch commit : c716978
Master branch commit: 6cbcd13
The text was updated successfully, but these errors were encountered: