projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e99884e) | patch
Don't use python asserts to handle unexpected solver output
authorJannis Harder <me@jix.one>
Tue, 14 Jun 2022 15:59:08 +0000 (17:59 +0200)
committerJannis Harder <me@jix.one>
Wed, 15 Jun 2022 11:25:21 +0000 (13:25 +0200)
commitd0c59a3155abf9a1adf6564303da6fa909aca0cd
tree398c13feae35d72f8eb6f63e6a8cccaecf55b279tree
parente99884e319e7482c442e519cee4e059f6abd7a21commit | diff
Don't use python asserts to handle unexpected solver output
sbysrc/sby_core.py diff | blob | history
sbysrc/sby_engine_abc.py diff | blob | history
sbysrc/sby_engine_aiger.py diff | blob | history
sbysrc/sby_engine_btor.py diff | blob | history