projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fef25f) | patch
Fixed "counterexample trace:" log message for things like warmup failed
authorClifford Wolf <clifford@clifford.at>
Tue, 21 Aug 2018 12:00:30 +0000 (14:00 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 21 Aug 2018 12:00:30 +0000 (14:00 +0200)
commitf2697c23c047a0e7b13c26f03823a0dbd428cde3
tree69aa392bacb176b7d871580e78c66556d2c5d474tree
parent2fef25f93dd1cb5137a08e71f507e3eee8100fb1commit | diff
Fixed "counterexample trace:" log message for things like warmup failed

Signed-off-by: Clifford Wolf <clifford@clifford.at>
sbysrc/sby_engine_abc.py diff | blob | history
sbysrc/sby_engine_aiger.py diff | blob | history
sbysrc/sby_engine_smtbmc.py diff | blob | history