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
Both OpenSMT2 and Bitwuzla need the removal of certain parts of SMTLIB2 Strings before we can parse them. Examples are comments and set-logic.
This is currently done lazily and incomplete. For example escape characters are not taken into account.
We should ask for better support by the developers and/or improve our filtering (possibly by using the branch for the SMTLIB2 parser).
The text was updated successfully, but these errors were encountered:
Both OpenSMT2 and Bitwuzla need the removal of certain parts of SMTLIB2 Strings before we can parse them. Examples are comments and
set-logic
.This is currently done lazily and incomplete. For example escape characters are not taken into account.
We should ask for better support by the developers and/or improve our filtering (possibly by using the branch for the SMTLIB2 parser).
The text was updated successfully, but these errors were encountered: