M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 97 Pull Requests 19 Releases Wiki Activity

Add lli support for running example test cases #327

Merged
sb10q merged 7 commits from lli-support into master 2023-09-30 09:31:18 +08:00
Conversation 4 Commits 7 Files Changed 11 +19 -6
2 changed files with 19 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f9aceb24ee - Show all commits

17
nac3standalone/demo/check_demo.sh Executable file
View File

@ -0,0 +1,17 @@
#!/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
diff -Nau interpreted.log run.log
echo "ok"

8
nac3standalone/demo/check_demos.sh
View File

@ -4,12 +4,8 @@ set -e
count=0 count=0
for demo in src/*.py; do for demo in src/*.py; do
echo -n "checking $demo... " ./check_demo.sh "$@" "$demo"
./interpret_demo.py $demo > interpreted.log ((count += 1))
./run_demo.sh "$@" $demo > run.log
diff -Nau interpreted.log run.log
derppening marked this conversation as resolved Outdated
sb10q commented 2023-09-29 15:28:05 +08:00
Outdated
Review
Copy Link

Just add a run_demo_lli.sh > run_lli.log and keep this structure, which avoids invoking the interpreter multiple times and overwriting files.

Just add a `run_demo_lli.sh > run_lli.log` and keep this structure, which avoids invoking the interpreter multiple times and overwriting files.
echo "ok"
let "count+=1"
done done
echo "Ran $count demo checks - PASSED" echo "Ran $count demo checks - PASSED"