-
Guillaume Melquiond authored
Translate BV*.of_int to int2bv for CVC4, since the bv1234 syntax rejects constants that are too large. Note: while int2bv could be used as a "syntax function", this breaks too many examples because of timeouts (or unexpected successes).
aa22a844