15 lines
667 B
Bash
Executable file
15 lines
667 B
Bash
Executable file
#!/bin/sh
|
|
# usage: port/tools/verify/regress.sh [NAME ...]
|
|
# Byte-level regression of the port against the fs2trace oracle: every
|
|
# key script from keyScripts.py (or just the named ones), each compared
|
|
# tick by tick. Prints only divergences; silence means identical.
|
|
cd "$(dirname "$0")/../../.."
|
|
python3 port/tools/verify/keyScripts.py > /dev/null
|
|
if [ $# -eq 0 ]; then
|
|
set -- boot flight modes edit ww1 radios slew reality night course logdisk demo
|
|
fi
|
|
for name in "$@"; do
|
|
ticks=$(sed -n 1p "tmp/keys_$name.ticks")
|
|
echo "==== $name ($ticks ticks)"
|
|
port/tools/verify/compareRun.sh "$name" "$ticks" "$(cat "tmp/keys_$name.txt")"
|
|
done
|