aboutsummaryrefslogtreecommitdiffstats
path: root/backends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-11-27 17:42:32 +0100
committerClifford Wolf <clifford@clifford.at>2017-11-27 19:43:36 +0100
commitda91b31bb242bb947533702ac7484773fa3f3d57 (patch)
tree850a24309839533912cc45f50a719348178ad282 /backends
parentc22d0e1f53f0b1f3127f30a2fcb638a32cf9c58b (diff)
downloadyosys-da91b31bb242bb947533702ac7484773fa3f3d57.tar.gz
yosys-da91b31bb242bb947533702ac7484773fa3f3d57.tar.bz2
yosys-da91b31bb242bb947533702ac7484773fa3f3d57.zip
Fixed "yosys-smtbmc -g" handling of no solution
Diffstat (limited to 'backends')
-rw-r--r--backends/smt2/smtbmc.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d9b79e26e..560e39d86 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -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, '%')