projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49da320) | patch
fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 27 Nov 2012 21:31:46 +0000 (21:31 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 27 Nov 2012 21:31:46 +0000 (21:31 +0000)
commit551d1d37fe9c8ec25ddeac1e37b68d39158378ea
tree5507dd24bfb94349bdaf6ad9afb7dd5c44d3455ctree
parent49da3204bbb10fbcd87923428f3b476ba5b57af6commit | diff
fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.

(this commit was certified error- and warning-free by the test-and-commit script.)
src/expr/command.cpp diff | blob | history
src/main/command_executor_portfolio.cpp diff | blob | history