projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a99a369) | patch
Fix SmtEngine::setInfo() handling for certain keys. This fixes the "unsupported...
authorMorgan Deters <mdeters@gmail.com>
Tue, 7 Aug 2012 14:53:06 +0000 (14:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 7 Aug 2012 14:53:06 +0000 (14:53 +0000)
commitea5acaba821790dd240db779f2340fbe5fce0b8e
tree5afbd700917540cf0d907b030d29995e8ea02284tree
parenta99a3693b2c69ffd6a4268c9020593f62a3474ebcommit | diff
Fix SmtEngine::setInfo() handling for certain keys.  This fixes the "unsupported" message we see in QF_SAT nightly regressions.
src/smt/smt_engine.cpp diff | blob | history