github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-01 22:52:40 +00:00
Code Issues Releases Wiki Activity

Fixed "yosys-smtbmc -g" handling of no solution

Browse Source
This commit is contained in:
Clifford Wolf
2017-11-27 17:42:32 +01:00
parent c22d0e1f53
commit da91b31bb2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smtbmc.py
View File

@@ -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, '%')