diff options
author | Ryan Kavanagh <rak@debian.org> | 2018-09-13 16:29:29 -0400 |
---|---|---|
committer | Ryan Kavanagh <rak@debian.org> | 2018-09-13 17:14:23 -0400 |
commit | ac1fe7d7abba32ef0c83ca1a22092bab9de5f171 (patch) | |
tree | b49c343d9f135205bb5ca40db678dcadefcfbd80 /examples/sml/test_checks.sh | |
parent | run.sh should not extract autograde.tar (diff) |
Diffstat (limited to '')
-rwxr-xr-x | examples/sml/test_checks.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/examples/sml/test_checks.sh b/examples/sml/test_checks.sh new file mode 100755 index 0000000..975ea4c --- /dev/null +++ b/examples/sml/test_checks.sh @@ -0,0 +1,16 @@ +#!/bin/sh + +make -s autograde + +for f in test_handins/*.tar; do + base=`basename -s .tar ${f}` + tmp=`mktemp -d` + cp ../autograde.tar ${tmp} + cp test_handins/${base}.tar ${tmp}/handin.tar + cp ../autograde-Makefile ${tmp} + echo "\e[41m!!!!!!! Last 10 output lines for test ${base}:\e[0m" + (cd ${tmp}; make -s -f autograde-Makefile | tail -n 10) + echo "\e[42m!!!!!!! Expected result:\e[0m" + cat test_handins/${base}.exp + rm -fr ${tmp} +done |