#!/bin/bash
set -euo pipefail


trap "exit" INT

files=${1:-*/core3}

for sd in $files; do
  echo -e "\n"  
  cd $sd
  echo $sd
  touch .
  cp ../../../../../core_marking3/postfix_test.sh .
  cp ../../../../../core_marking3/postfix_test1.scala .
  cp ../../../../../core_marking3/postfix_test2.scala .
  cp ../../../../../core_marking3/postfix_test3.scala .
  cp ../../../../../core_marking3/postfix_test4.scala .
  ./postfix_test.sh output
  rm postfix_test.sh
  rm postfix_test1.scala
  rm postfix_test2.scala
  rm postfix_test3.scala
  rm postfix_test4.scala
  cd ..
  cd ..
done