File size: 738 Bytes
4951e76 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 | #!/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
|