projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23e6498) | patch
Ignore error result when an error is squelched via command verbosity.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 26 Jun 2014 04:41:48 +0000 (00:41 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 26 Jun 2014 04:48:18 +0000 (00:48 -0400)
commitc5970b88e4334146fe142fa1644a2a36049a6448
tree7a93a9b550e3149479dbe6ba00147f78c40d475dtree
parent23e6498e2323bdc176a9fbf6a04cb3cfb672b058commit | diff
Ignore error result when an error is squelched via command verbosity.
src/main/command_executor.cpp diff | blob | history