projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f131fe5 d0c59a3)
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)
Don't use python asserts to handle unexpected solver output


Trivial merge