diff options
Diffstat (limited to 'research/experiments/044-specs/run.sh')
| -rwxr-xr-x | research/experiments/044-specs/run.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/research/experiments/044-specs/run.sh b/research/experiments/044-specs/run.sh index 670d0a7..81de578 100755 --- a/research/experiments/044-specs/run.sh +++ b/research/experiments/044-specs/run.sh @@ -3,11 +3,17 @@ # the first thing a spec in the suite needs (a byte at a position, a bit # operation, a record inside a record, a call to itself, a variant, a # character at a position). AUP is the aup checkout (default ../aup beside -# Pure); the output is the evidence table in 140. +# Pure); the output is the evidence table in 140. The probes are as written on +# 2026-10-13 (probes/), or a directory given (probes-027/: the same needs in +# the forms 027 gave them, and the gaps found after it). set -u here=$(cd "$(dirname "$0")" && pwd) aup=${AUP:-$here/../../../../aup}/build/aup -for f in "$here"/probes/*.aup; do +dir=${1:-$here/probes} +dir=$(cd "$dir" && pwd) +out=$(mktemp -d) +trap 'rm -rf "$out"' EXIT +for f in "$dir"/*.aup; do printf '%s\t' "$(basename "$f")" - if out=$("$aup" build "$f" -o /dev/null 2>&1); then echo "compiles"; else echo "$out" | head -1 | sed "s|^$here/probes/||"; fi + if said=$("$aup" build "$f" -o "$out/probe.pmod" 2>&1); then echo "compiles"; else echo "$said" | head -1 | sed "s|^$dir/||"; fi done |