projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d63231) | patch
fix return code check in btor engine
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 29 Apr 2020 14:09:18 +0000 (16:09 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 29 Apr 2020 14:09:18 +0000 (16:09 +0200)
commitcb01f8469c7073cd30eacad0ceb3a0ee10de5e65
treed8d8f29904e608342e60679e695a85dd8445f61ctree
parent5d6323147d76a06f409236715f0db422c49006c3commit | diff
fix return code check in btor engine
sbysrc/sby_engine_btor.py diff | blob | history