Small fixes and reduced verbosity for setup

.github/workflows/eval.yml

@@ -14,6 +14,8 @@ jobs:
 
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: 'recursive'
       - name: Install Z3
         uses: pavpanchekha/setup-z3@1.2.2
         with:

.gitmodules

@@ -0,0 +1,4 @@
+[submodule "eval/smt-logs"]
+	path = eval/smt-logs
+	url = https://github.com/viperproject/smt-logs.git
+	branch = smt2

eval/axiom-profiler/build.sh

@@ -1,5 +1,5 @@
 cd "$(dirname "$0")"
 rm -rf axiom-profiler
-wget -O axiom-profiler.zip https://github.com/viperproject/axiom-profiler/releases/download/v-2025-01-08-0833/axiom-profiler-release-windows.zip
+wget --no-verbose -O axiom-profiler.zip https://github.com/viperproject/axiom-profiler/releases/download/v-2025-01-08-0833/axiom-profiler-release-windows.zip
 unzip -d axiom-profiler axiom-profiler.zip
 rm -f axiom-profiler.zip

eval/axiom-profiler/run.sh

@@ -1,5 +1,5 @@
 export MONO_GC_PARAMS="max-heap-size=12G"
-# ulimit -v 12582912
+ulimit -v 12582912
 
 SDIR="$(dirname "$0")"
 mono "$SDIR/axiom-profiler/AxiomProfiler.exe" /headless /timing /loops:2147483647 /loopsMs:10000 /showNumChecks /showQuantStatistics /findHighBranching:6 /l:$1

eval/build.sh

@@ -1,10 +1,5 @@
 DIRNAME="$(realpath "$(dirname "$0")")"
-
 cd "$DIRNAME"
-rm -rf smt-logs-smt2
-wget -O smt-logs.tar.gz https://github.com/viperproject/smt-logs/archive/refs/heads/smt2.tar.gz
-tar -xvf smt-logs.tar.gz
-rm -f smt-logs.tar.gz
 
 TOOLS="smt-scope axiom-profiler"
 for tool in $TOOLS; do

eval/eval.sh

@@ -1,7 +1,7 @@
 DIRNAME="$(realpath "$(dirname "$0")")"
 mkdir -p "$DIRNAME/data"
 
-SMT2_DIR="$DIRNAME/smt-logs-smt2/smt2"
+SMT2_DIR="$DIRNAME/smt-logs/smt2"
 
 # If $1 is set search in "$SMT2_DIR/$1" else search in "$SMT2_DIR"
 SEARCH_DIR="$SMT2_DIR"
@@ -22,7 +22,7 @@ while read -r file; do
     [ -s "$LOGFILE" ] || exit 1
     cd "$OUTPUT_DIR"
 
-    echo "\n[LOGFILE] $(basename "$LOGFILE") $(ls -l "$LOGFILE" | awk '{print $5}')b" > "$OUTPUT.data"
+    echo "[LOGFILE] $(basename "$LOGFILE") $(ls -l "$LOGFILE" | awk '{print $5}')b" > "$OUTPUT.data"
     "$DIRNAME/run.sh" "$LOGFILE" >> "$OUTPUT.data"
 
     rm -f "$LOGFILE"