projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2db22ff) | patch
Fixed exit status for competition mode.
authorTim King <taking@cs.nyu.edu>
Tue, 6 Jul 2010 23:48:49 +0000 (23:48 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 6 Jul 2010 23:48:49 +0000 (23:48 +0000)
commitbba85281eef7daefa8a1bd6673d38e1d005cf789
treef676686c3f7f0cd04854406e4c4f026ae44f1091tree
parent2db22ffd1f48502a2b138b9b99ba2841a581313bcommit | diff
Fixed exit status for competition mode.
src/main/main.cpp diff | blob | history