While debugging the infinite loop in #272, I got frustrated by the number of temporary files that I was cleaning up manually, and decided to take a detour to fix this long-standing annoyance in debugging Specimin.
I tested this change by sending SIGINT (by typing CTRL-C) to an infinite-looping Specimin process targeting the Checker Framework (i.e., my reproduction script for #272), and confirming that no temp files are left in the input directory.
While debugging the infinite loop in #272, I got frustrated by the number of temporary files that I was cleaning up manually, and decided to take a detour to fix this long-standing annoyance in debugging Specimin.
I tested this change by sending SIGINT (by typing CTRL-C) to an infinite-looping Specimin process targeting the Checker Framework (i.e., my reproduction script for #272), and confirming that no temp files are left in the input directory.