core_marking1/mk_core1
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 15 Dec 2025 18:42:41 +0000
changeset 508 832d1e5d601b
parent 421 864107857d27
permissions -rwxr-xr-x
added

#!/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