projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 299ab76) | patch
smtbmc: Fix typo in error message.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 19 May 2020 16:13:44 +0000 (16:13 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 19 May 2020 16:13:44 +0000 (16:13 +0000)
commit1053032a81ea54847bfef944d3c5481de8a2046e
tree2df5df4bd276886156c8680f4e819174afdd1d14tree
parent299ab76a093f0cde95fdc0214b371140d7f339b9commit | diff
smtbmc: Fix typo in error message.

Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
backends/smt2/smtbmc.py diff | blob | history