Attic/marking2/mark
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 15 Jan 2021 02:47:51 +0000
changeset 385 1ff267cae316
parent 331 3a9acfc6106b
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
162
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
###set -e
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
trap "exit" INT
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
./collatz_test.sh output1
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
./alcohol_test.sh output2
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
./drumb_test.sh output3
2ea5b3456ed7 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9