Missing line

runtimeverification · Oct 17, 2023 · 1eeda64 · 1eeda64
1 parent db47f56
commit 1eeda64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/lit.cfg.py b/test/lit.cfg.py
@@ -131,7 +131,7 @@ def one_line(s):
 
     ('%run-binary-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --binary-output'),
     ('%run-binary', 'rm -f %t.bin && %convert-input && %t.interpreter %t.bin -1 /dev/stdout'),
-    ('%run-proof-out', '%t.interpreter %test-input -1 %t.out.bin --proof-output'),
+    ('%run-proof-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --proof-output'),
     ('%run', '%t.interpreter %test-input -1 /dev/stdout'),
 
     ('%kprint-check', 'kprint %S %s true | diff - %s.out'),