projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fb11ee) | patch
fix TheoryEngine::collectModelInfo() to only call collectModelInfo() on active theori...
authorMorgan Deters <mdeters@gmail.com>
Fri, 24 Aug 2012 21:40:46 +0000 (21:40 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 24 Aug 2012 21:40:46 +0000 (21:40 +0000)
commit5f0f35cc281b988db6d0f3dfa4b797f91b69f6ab
tree62b686f999055f95cd6a53d2e4a1654809246d40tree
parent0fb11ee5999c70f8c30cf8081ddbb3eca6ded0b1commit | diff
fix TheoryEngine::collectModelInfo() to only call collectModelInfo() on active theories; resolves bug 380
src/theory/theory_engine.cpp diff | blob | history