alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bin: remove temporary files even on errors

Browse source 
Fixes #259.

* bin/common_setup.cc: Register a cleanup_tmpfiles() via atexit.
* tests/core/ltldo.test: Add a test case.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2017-05-04 14:40:32 +02:00
parent 5601806e24
commit b6808115b9
3 changed files with 25 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -70,6 +70,9 @@ New in spot 2.3.3.dev (not yet released)
- the --help output of randaut and ltl2tgba was showing an
unsupported %b stat.
- ltldo and ltlcross could leave temporary files behind when
aborting on error.
Backward-incompatible changes:
- spot::acc_cond::mark_t::operator bool() has been marked as