Made tester automatically delete .thm files

jsiek · Nov 21, 2024 · f8436bb · f8436bb
1 parent 99b1305
commit f8436bb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test-deduce.py b/test-deduce.py
@@ -134,3 +134,6 @@ def test_deduce_errors(deduce_call, path):
         test_deduce(parsers, deduce_call, lib_dir)
         test_deduce(parsers, deduce_call, pass_dir)
         test_deduce_errors(deduce_call, error_dir)
+
+    os.system("rm -f ./lib/*.thm")
+    os.system("rm -f ./test/should-pass/*.thm")