mirror of https://github.com/YosysHQ/yosys.git
Fix assert checking in "yosys-smtbmc -c --append"
This commit is contained in:
parent
fd1cc0c73d
commit
66a1617b69
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue