testing4/mark
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 01 Nov 2023 15:01:32 +0000
changeset 468 c71ae4477e55
parent 303 8eee758beedc
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 215
diff changeset
     1
#!/bin/bash
153
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     6
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     7
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     8
cp $DIR/* .
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     9
300
be9900ba65ff updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 220
diff changeset
    10
./postfix_test.sh tmp_output1
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    11
303
8eee758beedc updated
Christian Urban <urbanc@in.tum.de>
parents: 300
diff changeset
    12
echo -e "Here is an automated test report for some work in the Part9 directory. 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.  Please ensure you test your code on your own machine in order to make sure it is bug free!! Passing these tests does not guarantee your code is free from bugs!! Also after the deadline, your code will be marked against a different, more thorough set of test cases.\n\n" > $1
153
316f9c6cc2ff updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    14
300
be9900ba65ff updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 220
diff changeset
    15
cat tmp_output1 >> $1
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
    16