| # 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 | |