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