projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50ad9f0) | patch
main() no longer catches non-CVC4 exceptions. This means on memout and other C+...
authorMorgan Deters <mdeters@gmail.com>
Mon, 21 May 2012 16:33:53 +0000 (16:33 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 21 May 2012 16:33:53 +0000 (16:33 +0000)
commitfdd00c4dbfa64da59c65d5d1fef3e8505a842cc8
tree255a9ddbbaccc05b8be736e20871b1d902d0bc34tree
parent50ad9f07cb754c2c09a4775e1bc73230f440cfedcommit | diff
main() no longer catches non-CVC4 exceptions.  This means on memout and other C++-level exceptions, we'll exit the C++ way rather than our custom way (so we don't get statistics etc.)
src/main/driver_portfolio.cpp diff | blob | history
src/main/main.cpp diff | blob | history