17 lines
761 B
Bash
Executable File
17 lines
761 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# CHECK -- Q93 refactor of tools/selftest_sweep.py (forge: Refactor lane).
|
|
# Exit 0 iff the committed tree passes the Q93 verifier: py_compile, static
|
|
# Q93 markers present (run_verdict, 5-arg judge_malformed, REFUSAL_RC branch,
|
|
# obsolete arm removed, selftest: 44 cells), --selftest 44/44 rc 0, and
|
|
# run_verdict's printed rc matches the code it returns.
|
|
# Repos-rooted so it runs from any working directory.
|
|
|
|
set -u
|
|
cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1
|
|
REPO_ROOT="$(pwd)"
|
|
cd "$REPO_ROOT" || exit 1
|
|
|
|
# The verifier script lives in the committed wizard-work/forge/ tree and
|
|
# grades tools/selftest_sweep.py from the filesystem. Exit code IS the verdict.
|
|
python3 "$REPO_ROOT/wizard-work/forge/verify_selftest_sweep_q93_refactor.py"
|