projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a0114c) | patch
use EXIT_SUCCESS and EXIT_FAILURE
authorBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 02:49:03 +0000 (19:49 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 02:49:03 +0000 (19:49 -0700)
commit4698d40e0ba982029b4e1f018f2bdfc1b99a5b32
treebba315b4e47f8573a598de9e9edf1ad3c1c0256atree | snapshot
parent1a0114ccaf1f6a8dc1656589c6d733354fe310cdcommit | diff
use EXIT_SUCCESS and EXIT_FAILURE

We were wildly inconsistent with our exit status. We might as well follow the
C standard.
common.h diff | blob | history
mymemory.cc diff | blob | history
snapshot.cc diff | blob | history
C++11 memory model checker