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
Unlike function `writeSMTLib2` (which expects a saw-core
proposition of type `sort 0`), `write_smtlib2` expects a
predicate with a return type of `Bool`.
Fixes#484.
Fails with output
and no SMT2 file
double.smt2
written.This is with the version of SAW obtained from https://saw.galois.com/downloads.html on the 9 June 2019.
The text was updated successfully, but these errors were encountered: