diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-13 13:23:06 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-13 13:23:06 +0200 |
| commit | d39db41df87113792c383fc2f127a3d42ae6dd0e (patch) | |
| tree | 770360761f941d9d809e07d755fc762cd29f6a21 /backends | |
| parent | d01e34136ecfecc3f155d3fe7c74e07346ecae4e (diff) | |
| download | yosys-d39db41df87113792c383fc2f127a3d42ae6dd0e.tar.gz yosys-d39db41df87113792c383fc2f127a3d42ae6dd0e.tar.bz2 yosys-d39db41df87113792c383fc2f127a3d42ae6dd0e.zip | |
Work-around for boolector bug
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/smt2/smtbmc.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index 3cfbbaf93..fa4966089 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -478,14 +478,14 @@ def write_trace(steps_start, steps_stop, index): def print_failed_asserts_worker(mod, state, path): assert mod in smt.modinfo - if smt.get("(|%s_a| %s)" % (mod, state)) == "true": + if smt.get("(|%s_a| %s)" % (mod, state)) in ["true", "#b1"]: return for cellname, celltype in smt.modinfo[mod].cells.items(): print_failed_asserts_worker(celltype, "(|%s_h %s| %s)" % (mod, cellname, state), path + "." + cellname) for assertfun, assertinfo in smt.modinfo[mod].asserts.items(): - if smt.get("(|%s| %s)" % (assertfun, state)) == "false": + if smt.get("(|%s| %s)" % (assertfun, state)) in ["false", "#b0"]: print_msg("Assert failed in %s: %s" % (path, assertinfo)) |