Add support for assert/assume/cover to "sim" command
authorClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 08:24:14 +0000 (10:24 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 08:24:14 +0000 (10:24 +0200)
commit0be738eaac7808f4362ef265c7a3e1f2e6a15deb
treebbd0f82dc0d424eef1721dc1a1ae44c3e8c18f2f
parent92e4b5aa77363faf71f60c93d1ce9ed57d4cb593
Add support for assert/assume/cover to "sim" command
passes/sat/sim.cc