scripts

JetBrains-Research · Sep 10, 2024 · a15a6f0 · a15a6f0
1 parent ac41fc2
commit a15a6f0
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