From 2e0d289c7edffc12e2bab65d3c75727ebba83c7d Mon Sep 17 00:00:00 2001
From: Lorenzo Manacorda <lorenzo@mailbox.org>
Date: Wed, 22 Apr 2020 13:38:10 +0200
Subject: [PATCH] libexec/klab-prove-all: unaccept BADGAS specs

Remove them from the accept directory, so that the whole process is restarted.

This is not ideal (since the proof had already been accepted), but the
alternative risks giving false positives if one doesn't inspect the
build log.
---
 libexec/klab-prove-all | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libexec/klab-prove-all b/libexec/klab-prove-all
index 9dde72a3..adb3c6e2 100755
--- a/libexec/klab-prove-all
+++ b/libexec/klab-prove-all
@@ -122,6 +122,7 @@ do_proof () {
       cp "$GAS_DIR/${hash}.all.json" "$KLAB_REPORT_NAME_DIR"
     elif [ -n "$KLAB_REPORT_NAME_DIR" ]; then
       echo "${magenta}Proof ${bold}BADGAS${reset}: $hash [$name]"
+      rm -f "$KLAB_OUT/accept/$hash"
       savelogs "$hash"
     fi
     klab get-lemmas "$hash"