ltldo does not erase temporary files on error
I configured ltl2dstar
with an incorrect option for ltl2tgba
(-DS
instead of -Ds
), and ltldo
left some temporary files in the current directory.
~ % randltl -n 10 2 | ltldo 'ltl2dstar --ltl2nba=spin:ltl2tgba@-DS'
Parse error for NBA automaton (PROMELA format) at line 0
syntax error
Exception:
Couldn't parse PROMELA file!
error: execution of command "ltl2dstar --ltl2nba=spin:ltl2tgba@-DS --output-format=hoa 'lcr-i1-0PdcGf' 'lcr-o0-W4y6Pn'" returned exit code 1.
ltldo:-:1: aborting here
~ % ls *lcr*
lcr-i1-0PdcGf