From 1eeda64d015803d3a480dd3908dc925df225aa7b Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Tue, 17 Oct 2023 10:01:03 +0100 Subject: [PATCH] Missing line --- test/lit.cfg.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/lit.cfg.py b/test/lit.cfg.py index 6dca66ee1..78319bbbf 100644 --- 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'),