Make interval evaluation remove all remaining files from hol4 output directory...

Make interval evaluation remove all remaining files from hol4 output directory after checking the certificate

Make interval evaluation remove all remaining files from hol4 output directory...
Make interval evaluation remove all remaining files from hol4 output directory after checking the certificate
17076ead · Heiko Becker · f1957096 · 17076ead
Commit 17076ead authored May 21, 2018 by Heiko Becker
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

scripts/eval_interval.sh scripts/eval_interval.sh +2 -1

No files found.
--- a/scripts/eval_interval.sh
+++ b/scripts/eval_interval.sh
@@ -87,7 +87,8 @@ do
  RESULT=${RESULT#*M1}
  RESULT=${RESULT%%M2*}
  echo -n $RESULT >>$1
-
+  
+  rm ./certificate_*
  cd ../../

  # #run HOL4 binary