projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3d766b) | patch
call job.terminate at end of btor engine run to kill other engines in case of whoever...
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 13 May 2020 10:42:30 +0000 (12:42 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 13 May 2020 10:42:30 +0000 (12:42 +0200)
commit842e9a121a484a945bebcf3ab1869c0696f5d04d
tree8dea345d0b27755740a5bd97e093c3b9ca26d604tree
parentb3d766bf89ffb5ba4bd4af9264c7e21f3a8a9ae8commit | diff
call job.terminate at end of btor engine run to kill other engines in case of whoever-gets-there-first runs
sbysrc/sby_engine_btor.py diff | blob | history