Bugfix in SMV back-end for partially unassigned wires
authorClifford Wolf <clifford@clifford.at>
Wed, 5 Aug 2015 09:36:26 +0000 (11:36 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 5 Aug 2015 09:36:26 +0000 (11:36 +0200)
commit5dc23975ebf0fc77726f7113171a3172bd4f75e6
treebad8d727af1fc6933985dce8b0be2aec67095809
parent4e4b156e134c98341de5ecfbdc4f23cfb10692ea
Bugfix in SMV back-end for partially unassigned wires
backends/smv/smv.cc