Merge pull request #179 from jix/btor-option-handling
authorJannis Harder <me@jix.one>
Wed, 15 Jun 2022 11:24:36 +0000 (13:24 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 11:24:36 +0000 (13:24 +0200)
commitf131fe5b8facfec827976886c5a150d7ff77ebfc
tree0e8bfdb896b912a6be07989c82e080bcc66a3cb7
parent98b0713597cb1c48dee99f7017d34c28c45114b6
parent141ffd34a5b3f08f3f5395f3c588615550df8bd7
Merge pull request #179 from jix/btor-option-handling

btor pono: improve option handling