github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-29 05:16:49 +00:00
Code Issues Releases Wiki Activity

smtbmc: fix bmc with no assertions

Browse Source 
this was broken by the `--keep-going` changes
This commit is contained in:
Jannis Harder
2022-03-29 20:41:50 +02:00
parent 48d7a6c477
commit 8b15f3a548
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smtbmc.py
View File

@@ -1589,6 +1589,8 @@ else: # not tempind, covermode
active_assert_expr = "(and %s)" % " ".join(active_assert_exprs)
smt_assert("(not %s)" % active_assert_expr)
else:
smt_assert("false")
if smt_check_sat() == "sat":