From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Jul 2017 09:52:25 +0000 (+0200)
Subject: Change s/asserts/assertions/ in yosys-smtbmc log messages
X-Git-Tag: yosys-0.8~395
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3c693b65613392b10e33d406698a25d058acde84;p=yosys.git

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

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)] +