projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c86e017) | patch
Delete temporary proof files when aborting CVC4 (#2834)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 12 Feb 2019 19:30:59 +0000 (11:30 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 12 Feb 2019 19:30:59 +0000 (11:30 -0800)
commit6b07347b4964ff79dc6a17f22ab4be29aa489196
tree91df594709f62a63131d06e9c07c66fb8392f4cdtree
parentc86e0178bfaa662b6586d866c953a56f81cefe51commit | diff
Delete temporary proof files when aborting CVC4 (#2834)

CVC4 was not deleting temporary proof files when crashing or being
terminated externally. This commit uses an early `unlink()` to remove
the files as soon as CVC4 terminates.
src/smt/smt_engine_check_proof.cpp diff | blob | history