Delete runner temp

model-checking · Jul 30, 2024 · 016b926 · 016b926
1 parent dd11ad5
commit 016b926
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
@@ -39,4 +39,5 @@ echo
 
 # Clean up the Kani directory (optional)
 rm -rf "$KANI_DIR"
+rm -rf "$RUNNER_TEMP"
 # rm -rf "$VERIFY_RUST_STD_DIR"