From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 26 Feb 2017 10:06:26 +0000 (+0100)
Subject: Fix assert checking in "yosys-smtbmc -c --append"
X-Git-Tag: yosys-0.8~470
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=66a1617b6973a98f62975e6bf01ab8cdda19b782;p=yosys.git

Fix assert checking in "yosys-smtbmc -c --append"
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d1b45bb07..97a552c52 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -904,7 +904,7 @@ elif covermode:
 
             cover_mask = "".join(new_cover_mask)
 
-            for i in range(step+1):
+            for i in range(step+1+append_steps):
                 if print_failed_asserts(i, extrainfo=" (step %d)" % i):
                     found_failed_assert = True