Fix multiclock for btor2 witness
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 22 Apr 2022 09:53:41 +0000 (11:53 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 22 Apr 2022 09:53:41 +0000 (11:53 +0200)
commit8fa2f3b26036499945c8a7b27d2972ebc1322e01
tree35a7da70d6769aafc0ba7eec3e58ce4c29d6e67f
parent29c0a595892f36ca8755386c448105f8e2f499d6
Fix multiclock for btor2 witness
passes/sat/sim.cc