testing4/mark
author Christian Urban <urbanc@in.tum.de>
Fri, 30 Nov 2018 03:44:27 +0000
changeset 222 e52cc402caee
parent 220 3020f8c76baa
child 300 72688efdf17c
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
218
22705d22c105 updated
Christian Urban <urbanc@in.tum.de>
parents: 215
diff changeset
     1
#!/bin/bash
153
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
220
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     6
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     7
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     8
cp $DIR/* .
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     9
153
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
./re_test.sh output1
220
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    11
#./bf_test.sh output2
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    12
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    13
echo -e "Here is an automated test report for your work so far on assignment 9.  Please note that this is not the mark for your work; it is provided only in the hope that it is useful in developing your solution.  Passing these tests does not guarantee your code is free from bugs: after the deadline, your code will be marked against a different, more thorough set of test cases.\n\n" > $1
153
4383809c176a updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
220
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    15
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    16
cat output1 >> $1
3020f8c76baa updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    17