#!/bin/bash

prefix=$1
utils=$prefix"Performance/with-contract.rkt"

if [ $2 == "no-contracts" ] ; then
echo "no contracts"  >> RESULTS.TXT
sed -i 's/(define with-options.*/(define with-options #f)/' $utils;
sed -i 's/(define with-contracts.*/(define with-contracts #f)/' $utils;
fi

if [ $2 == "with-contracts" ] ; then
echo "with contracts" >> RESULTS.TXT
sed -i 's/(define with-options.*/(define with-options #f)/' $utils;
sed -i 's/(define with-contracts.*/(define with-contracts #t)/' $utils;
fi

if [ $2 == "with-options" ] ; then
echo "with options" >> RESULTS.TXT
sed -i 's/(define with-options.*/(define with-options #t)/' $utils;
sed -i 's/(define with-contracts.*/(define with-contracts #t)/' $utils;
fi

../../../plt/bin/raco make $1"Performance/xrun"
./a_benchmarks $prefix
