Merge pull request #16 from alex28sh/scrips

Scripts
JetBrains-Research · Sep 10, 2024 · c8730d8 · c8730d8
2 parents 05e1fc5 + a15a6f0
commit c8730d8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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