testrunner.sh

#!/bin/sh

DIR=examples/CPS

echo "=== Compiling..."
make
if [ $? -ne 0 ]
then
  echo "Compilation failed."
fi

for file in $(ls $DIR)
do
  echo "=== Running $file"
  bin/semiML -require "transform:beta_expansion" -eval -internal-log-file dupalog "$DIR/$file" > /tmp/semiml_output
  if [ $? -ne 0 ]
  then
    echo "=== Failed on '$file'."
    cat /tmp/semiml_output
  fi
done