22 lines
429 B
Bash
Executable File
22 lines
429 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
if [ -z "$1" ]; then
|
|
echo "Requires at least one argument"
|
|
exit 1
|
|
fi
|
|
|
|
demo="${@:-1}"
|
|
set -- "${@:1:$(($# - 1))}"
|
|
|
|
echo -n "Checking $demo... "
|
|
./interpret_demo.py "$demo" > interpreted.log
|
|
./run_demo.sh "$@" "$demo" > run.log
|
|
./run_demo_lli.sh "$@" "$demo" > run_lli.log
|
|
diff -Nau interpreted.log run.log
|
|
diff -Nau interpreted.log run_lli.log
|
|
echo "ok"
|
|
|
|
rm -f interpreted.log run.log run_lli.log
|