projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fc42e5) | patch
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor
authorlianah <lianahady@gmail.com>
Thu, 18 Apr 2013 23:03:32 +0000 (19:03 -0400)
committerlianah <lianahady@gmail.com>
Thu, 18 Apr 2013 23:03:32 +0000 (19:03 -0400)
commit8d56bb7184d573448fd16242afda2e4224e8641d
tree55915f37f8ebf1f12a4f2f1414945cdc8416cc84tree
parent5fc42e5ad72d13bc84a9b07d447988494d3d3110commit | diff
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor
src/smt/smt_engine.cpp diff | blob | history