whole nightly

egraphs-good · Feb 18, 2025 · eedded1 · eedded1
1 parent 3bbfdab
commit eedded1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/infra/nightly.sh b/infra/nightly.sh
@@ -65,8 +65,8 @@ elif [ "$LOCAL" != "" ]; then
 else
   export LLVM_SYS_180_PREFIX="/usr/lib/llvm-18/"
   make runtime
-  # TODO just run on totient.bril
-  ./infra/profile.py "$DATA_DIR" benchmarks/passing/bril/core/totient.bril  2>&1 | tee $NIGHTLY_DIR/log.txt
+  # run on all benchmarks in nightly
+  ./infra/profile.py "$DATA_DIR" benchmarks/passing  2>&1 | tee $NIGHTLY_DIR/log.txt
 fi
 
 # Generate CFGs for LLVM after running the profiler

diff --git a/infra/profile.py b/infra/profile.py
@@ -278,7 +278,6 @@ def get_suite(path):
 
     oldpath = path
     path = os.path.dirname(path)
-    print(os.path.basename(path))
     if os.path.basename(path) == "passing":
       return os.path.basename(oldpath)