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
Fatal failure within CVC4::theory::arith::Polynomial CVC4::theory::arith::Comparison::normalizedVaria
blePart() const at /barrett/scratch/cvc4-nightly/src/cvc4-2020-03-07/src/theory/arith/normal_form.cpp:760
Unhandled case encounteredUNDEFINED_KIND
Aborted (core dumped)
OS: Ubuntu 16.04
The text was updated successfully, but these errors were encountered:
Hi,
For this formula,
normalform760.txt
cvc4-nightly (http://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/unstable/cvc4-2020-03-07-x86_64-linux-opt) incremental mode
crashed with the information:
OS: Ubuntu 16.04
The text was updated successfully, but these errors were encountered: