blob: 670d0a7f9ca9d7e226143aa4321275b895e10dca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
# Research 140: compile each probe with aup and print what it says. A probe is
# 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.
set -u
here=$(cd "$(dirname "$0")" && pwd)
aup=${AUP:-$here/../../../../aup}/build/aup
for f in "$here"/probes/*.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
done
|
