projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98b0713) | patch
btor pono: improve option handling
authorJannis Harder <me@jix.one>
Tue, 14 Jun 2022 15:56:54 +0000 (17:56 +0200)
committerJannis Harder <me@jix.one>
Wed, 15 Jun 2022 09:35:22 +0000 (11:35 +0200)
commit141ffd34a5b3f08f3f5395f3c588615550df8bd7
tree0e8bfdb896b912a6be07989c82e080bcc66a3cb7tree
parent98b0713597cb1c48dee99f7017d34c28c45114b6commit | diff
btor pono: improve option handling

Fail on the unsupported skip option and pass solver args to pono.
sbysrc/sby_engine_btor.py diff | blob | history