projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc0dd5e) | patch
Add SIGTERM handler. (#1440)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 12 Dec 2017 19:34:46 +0000 (11:34 -0800)
committerGitHub <noreply@github.com>
Tue, 12 Dec 2017 19:34:46 +0000 (11:34 -0800)
commit83d2279aaa79ce04aa35b394b5063c6d59ff3ac1
tree49b16f694611b9fea3324ebe6c30879e9ba7b16ftree
parentdc0dd5e34f9b2fe1ef79602cc2a5f3deeb7d684acommit | diff
Add SIGTERM handler. (#1440)

Print statistics if CVC4 gets a SIGTERM signal.
src/main/util.cpp diff | blob | history