Merge pull request #180 from jix/sby-fewer-asserts
authorJannis Harder <me@jix.one>
Wed, 15 Jun 2022 12:08:15 +0000 (14:08 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 12:08:15 +0000 (14:08 +0200)
commit0df73ea66668ecdfdf8a67e7f289db51a5937d68
tree398c13feae35d72f8eb6f63e6a8cccaecf55b279
parentf131fe5b8facfec827976886c5a150d7ff77ebfc
parentd0c59a3155abf9a1adf6564303da6fa909aca0cd
Merge pull request #180 from jix/sby-fewer-asserts

Don't use python asserts to handle unexpected solver output