There should be a way to clean the test suite

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

441 stars 63 forks source link

There should be a way to clean the test suite #2081

Open sauclovian-g opened 3 months ago

sauclovian-g commented 3 months ago

There doesn't appear to be a way to clean leftover results and intermediate goop from intTests/, analogous to make clean in other settings. This can be particularly annoying if things fail and leave half-baked partial results behind.