projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9468dec) | patch
change short-circuiting behavior of Command execution in the main driver; allows...
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Dec 2011 21:11:19 +0000 (21:11 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Dec 2011 21:11:19 +0000 (21:11 +0000)
commitc232c1054d0635f4fcd136c3cb2038fa57538e6b
tree1fb43639cbeaae27423cde36252b9553a11a3980tree
parent9468dec9f3c041e4996df2f703f2c2ba4ba8dd91commit | diff
change short-circuiting behavior of Command execution in the main driver; allows a (limited) form of error recovery, matching what we had previously
src/main/main.cpp diff | blob | history