core_marking1/mk_core1
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 02 Nov 2023 11:32:10 +0000
changeset 472 6a77c260c8a5
parent 424 daf561a83ba6
permissions -rwxr-xr-x
updated

#!/bin/bash
set -euo pipefail

trap "exit" INT

files=${1:-*/core1}

for sd in $files; do
  echo -e "\n"
  cd $sd
  echo $sd
  touch .
  cp ../../../../../core_marking1/collatz_test.sh .
  cp ../../../../../core_marking1/collatz_test1.scala .
  cp ../../../../../core_marking1/collatz_test2.scala .
  cp ../../../../../core_marking1/collatz_test3.scala .
  ./collatz_test.sh output
  rm collatz_test.sh
  rm collatz_test1.scala
  rm collatz_test2.scala
  rm collatz_test3.scala
  cd ..
  cd ..
done