#!/usr/bin/env bash
# Serial sweep of the proptest arm over every kernel bank, pre (positive) and post (negative control).
# Usage (ONE hostguard job, never parallel):  hostguard.py run --cores 4 --mem-gb 16 --label sweep --wait -- bash baselines/sweep.sh CPU_SECONDS ARMS OUT.jsonl
set -u
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"; source "$HERE/../env.sh"; export KANI_HOME=$TC/kani
CPU=${1:-5}; ARMS=${2:-proptest}; OUT=${3:-$HERE/../bench/ledger/baseline_sweep.jsonl}
: > "$OUT"
for b in "$HERE"/bank/*.json; do
  case "$b" in *smoke*) continue;; esac
  for rev in pre post; do
    timeout 900 python3 -I "$HERE/run_baselines.py" "$b" --cpu-seconds "$CPU" --arms "$ARMS" --revision $rev >> "$OUT" 2>>"$OUT.err"
  done
done