49 lines
2.4 KiB
Bash
49 lines
2.4 KiB
Bash
#!/usr/bin/env bash
|
|
# tests/fix-round-4-5b-part-3-red.sh
|
|
# The red proof of fix round 4-5b, part 3 (plan
|
|
# .claude/projects/2026-10-28-fix-round-4-5b-part-3), as a wrapper over the
|
|
# shared red script tests/helpers/red-round.sh. Every id of the round has
|
|
# tests whose names start with "[id]"; each of them must fail on an assertion
|
|
# at the round's start point ce98f62.
|
|
# This wrapper passes the shared script:
|
|
# --base BASE, --ids IDS (the round's 3 ids), the round's FILES;
|
|
# --other-ids: the ids of fix round 4-5a, of 4-5b part 1 and of 4-5b
|
|
# part 2, read with sed from the IDS= lines of tests/fix-round-4-5a-red.sh,
|
|
# tests/fix-round-4-5b-red.sh and tests/fix-round-4-5b-part-2-red.sh and
|
|
# passed as ONE value, in that order (the shared script keeps only the
|
|
# last --other-ids it is given); a tag on that list is not judged;
|
|
# --mutations tests/fix-round-4-5b-part-3-mutations.mjs (empty: every id is
|
|
# red at the start point on its own code or text).
|
|
# No --require-sha256: the round has no SHA-256 test.
|
|
# Exit 0 all red, 1 a rule broken (the judge names it), 2 a setup failure
|
|
# (also: no ids on one of the three older IDS= lines); never 0 on a setup
|
|
# failure.
|
|
# bash 3.2 compatible, ASCII only, no arrays.
|
|
|
|
set -u
|
|
set -f
|
|
|
|
cd "$(dirname "$0")/.." || { echo "red script: setup failure: cannot cd to the repo root" >&2; exit 2; }
|
|
ROOT="$(pwd -P)"
|
|
|
|
BASE=ce98f62e82af1e2c5c33cbe63808b7ec52cac000
|
|
IDS='CQW PQO KI3'
|
|
FILES='tests/lib/arg-parser-closing-quote.test.mjs tests/hooks/bash-guard-opener-word.test.mjs tests/lib/fix-round-4-5b-part-3-prose.test.mjs'
|
|
|
|
OTHER_A=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5a-red.sh")
|
|
if [ -z "$OTHER_A" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5a-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
OTHER_B=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5b-red.sh")
|
|
if [ -z "$OTHER_B" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5b-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
OTHER_C=$(sed -n "s/^IDS='\(.*\)'\$/\1/p" "$ROOT/tests/fix-round-4-5b-part-2-red.sh")
|
|
if [ -z "$OTHER_C" ]; then
|
|
echo "red script: setup failure: no ids on the IDS= line of $ROOT/tests/fix-round-4-5b-part-2-red.sh" >&2
|
|
exit 2
|
|
fi
|
|
|
|
exec /bin/bash "$ROOT/tests/helpers/red-round.sh" --base "$BASE" --ids "$IDS" --other-ids "$OTHER_A $OTHER_B $OTHER_C" --mutations "$ROOT/tests/fix-round-4-5b-part-3-mutations.mjs" $FILES
|