3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 18:05:24 +00:00

Merge pull request #3258 from jix/fix-no-assertions

smtbmc: fix bmc with no assertions
This commit is contained in:
Miodrag Milanović 2022-03-29 21:20:07 +02:00 committed by GitHub
commit d44f618de5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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":