diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-07 11:52:25 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-07 11:52:25 +0200 |
| commit | 3c693b65613392b10e33d406698a25d058acde84 (patch) | |
| tree | 0509596a6d36346415f2dfa45609ab8982de9c27 /backends/smt2 | |
| parent | 8f7404f82c324bd4c7e88fa59fb3c5e1061ae402 (diff) | |
| download | yosys-3c693b65613392b10e33d406698a25d058acde84.tar.gz yosys-3c693b65613392b10e33d406698a25d058acde84.tar.bz2 yosys-3c693b65613392b10e33d406698a25d058acde84.zip | |
Change s/asserts/assertions/ in yosys-smtbmc log messages
Diffstat (limited to 'backends/smt2')
| -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 6060d049d..7fbaa578e 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -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)] + |