diff options
Diffstat (limited to 'experiments/finalize_claims.sh')
| -rwxr-xr-x | experiments/finalize_claims.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/experiments/finalize_claims.sh b/experiments/finalize_claims.sh index 104d87c..047e86c 100755 --- a/experiments/finalize_claims.sh +++ b/experiments/finalize_claims.sh @@ -40,7 +40,9 @@ echo "predeclared Pareto/scaling claim gates passed" "$TRAIN_PY" experiments/baseline_smoke.py "$TRAIN_PY" experiments/synthetic_smoke.py +"$TRAIN_PY" experiments/protocol_smoke.py "$TRAIN_PY" experiments/smoke.py +"$TRAIN_PY" experiments/verify_theory.py summary_tmp=$(mktemp /tmp/sdil_audited_tables.XXXXXX) trap 'rm -f "$summary_tmp"' EXIT |