#!/bin/bash
set -euo pipefail


trap "exit" INT

files=${1:-*/core2}

for sd in $files; do
  echo -e "\n"
  cd $sd
  echo $sd
  touch .
  cp ../../../../../core_marking2/docdiff_test.sh .
  cp ../../../../../core_marking2/docdiff_test1.scala .
  cp ../../../../../core_marking2/docdiff_test2.scala .
  cp ../../../../../core_marking2/docdiff_test3.scala .
  cp ../../../../../core_marking2/docdiff_test4.scala .
  ./docdiff_test.sh output
  rm docdiff_test.sh
  rm docdiff_test1.scala
  rm docdiff_test2.scala
  rm docdiff_test3.scala
  rm docdiff_test4.scala
  cd ..
  cd ..
done