projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb01f84) | patch
start btorsim as soon as a witness is ready, print summary when multiple traces are...
authorN. Engelhardt <nak@symbioticeda.com>
Tue, 12 May 2020 14:48:58 +0000 (16:48 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Tue, 12 May 2020 14:48:58 +0000 (16:48 +0200)
commitb3d766bf89ffb5ba4bd4af9264c7e21f3a8a9ae8
tree47293adf3b734d29a82ad8cbe285bf4c2cc3e253tree
parentcb01f8469c7073cd30eacad0ceb3a0ee10de5e65commit | diff
start btorsim as soon as a witness is ready, print summary when multiple traces are produced
sbysrc/sby_engine_btor.py diff | blob | history
sbysrc/sby_engine_smtbmc.py diff | blob | history