search

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.
https://ddsmt.readthedocs.io
Other
50 stars 17 forks source link

Bit-vector constants not recognized with (set-logic ALL) #3

Closed 4tXJ7f closed 6 years ago

4tXJ7f commented 6 years ago

If a file uses (set-logic ALL) in the beginning, bitvector constants result in errors such as:

function '(_ bv512 64)' undeclared

Changing the set-logic command to use something like AUFBV fixes the issue.

aniemetz commented 6 years ago

ec7e527594b64766fae0725a4bc820b254382877 adds support for (set-logic ALL)