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

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d1b45bb07689458b8b9bd7d0c90fbdccf798050b..97a552c5230c6b91a70fb407fc5b48a4bd18f70b 100644 (file)
--- 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