diff options
author | Ryan Kavanagh <rak@debian.org> | 2018-09-13 13:18:07 -0400 |
---|---|---|
committer | Ryan Kavanagh <rak@debian.org> | 2018-09-13 13:49:21 -0400 |
commit | 465fb70bdcb0acd7a13f8b06c821e9d7496e2603 (patch) | |
tree | ddb483f51474bf5d104806912a91a10bb10ca75d /examples/tutch/test_checks.sh | |
parent | Import autograder from 15-317 f17 (diff) |
Imported tutch example
Diffstat (limited to '')
-rwxr-xr-x | examples/tutch/test_checks.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/examples/tutch/test_checks.sh b/examples/tutch/test_checks.sh new file mode 100755 index 0000000..975ea4c --- /dev/null +++ b/examples/tutch/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 |