mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Change s/asserts/assertions/ in yosys-smtbmc log messages

Browse source
This commit is contained in:
Clifford Wolf 2017-07-07 11:52:25 +02:00
parent 8f7404f82c
commit 3c693b6561
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smtbmc.py
View file

@ -1126,9 +1126,9 @@ else: # not tempind, covermode
if not final_only:
if last_check_step == step:
print_msg("Checking asserts in step %d.." % (step))
print_msg("Checking assertions in step %d.." % (step))
else:
print_msg("Checking asserts in steps %d to %d.." % (step, last_check_step))
print_msg("Checking assertions in steps %d to %d.." % (step, last_check_step))
smt.write("(push 1)")
smt.write("(assert (not (and %s)))" % " ".join(["(|%s_a| s%d)" % (topmod, i) for i in range(step, last_check_step+1)] +