mirror of https://github.com/YosysHQ/yosys.git
Fixed "yosys-smtbmc -g" handling of no solution
This commit is contained in:
parent
66f2d10822
commit
b981e5aa69
|
@ -1279,7 +1279,7 @@ else: # not tempind, covermode
|
|||
|
||||
step += step_size
|
||||
|
||||
if gentrace:
|
||||
if gentrace and retstatus:
|
||||
print_anyconsts(0)
|
||||
write_trace(0, num_steps, '%')
|
||||
|
||||
|
|
Loading…
Reference in New Issue