projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca72dd6) | patch
Fix bug 649 (errors to regular output channel)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Aug 2015 07:02:32 +0000 (03:02 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Aug 2015 07:02:32 +0000 (03:02 -0400)
commitd0072ab29c7e9213ca6773b89e393f381bca0126
tree9769ecc0abccfd5ded616a30039b757a55dc8761tree
parentca72dd6bc0fdc63391b568e4cbcf289300e295dccommit | diff
Fix bug 649 (errors to regular output channel)

From SMTLIB standard:

  "Regular output, including error messages, is printed on the
   regular output channel..."

For CVC language, the behavior is unchanged (i.e. errors go
to stderr by default).
src/main/main.cpp diff | blob | history