From a15a6f0a2ef7cee3217f70f2056cdd6a188244df Mon Sep 17 00:00:00 2001 From: alex28sh Date: Tue, 10 Sep 2024 15:35:08 +0200 Subject: [PATCH] scripts --- public/scripts/test-all.sh | 2 +- public/scripts/test-new.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/public/scripts/test-all.sh b/public/scripts/test-all.sh index 9388480..09ef02b 100755 --- a/public/scripts/test-all.sh +++ b/public/scripts/test-all.sh @@ -13,7 +13,7 @@ echo "Running Nagini on Python files in $DIRECTORY" for file in "$DIRECTORY"/*.py; do if [[ -f "$file" ]]; then echo "Running Nagini on $file" - # rm -rf .mypy_cache + rm -rf .mypy_cache timeout "$TIMEOUT_DURATION" nagini "$file" else echo "No Python files found in $DIRECTORY" diff --git a/public/scripts/test-new.sh b/public/scripts/test-new.sh index 64e85cf..d5e8591 100755 --- a/public/scripts/test-new.sh +++ b/public/scripts/test-new.sh @@ -32,7 +32,7 @@ do if [[ $f == *.py ]]; then file_no=$((file_no+1)) echo "Running dafny on $(basename "$f") ($file_no/$file_count)" - # rm -rf .mypy_cache + rm -rf .mypy_cache timeout "$TIMEOUT_DURATION" nagini "$f" fi fi