b0e88cf
1
2
3
4
5
6
7
8
9
#!/usr/bin/env bash set -euo pipefail PROGRAM="$1" # MODE ($2) is accepted but ignored — pure optimization has no data split. echo "[$(date '+%H:%M:%S')] eval start: $PROGRAM" >> /tmp/eval.log python /benchmark/evaluator.py "$PROGRAM"
