projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e5fe04) | patch
Fix total time statistic (#6233)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 30 Mar 2021 01:06:14 +0000 (03:06 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Mar 2021 01:06:14 +0000 (01:06 +0000)
commitc7a8c32825af7dceb6cee631523a480a5b2cc6ba
tree90393397cd0665fa72dbbe03f9cd4efa903faae1tree
parent7e5fe049ad88405a90fd5a43caa872d646d4b8e2commit | diff
Fix total time statistic (#6233)

Since one of the last changes to the total time collection in the driver, this collection fails when the solver terminates unexpectedly (either by a signal or an exception). This PR fixes this issue and does some cleanup along the way.
src/main/driver_unified.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/main.h diff | blob | history
src/main/signal_handlers.cpp diff | blob | history