#!/bin/bash

../../../plt/bin/raco setup -D

pushd ../../../ 

plt/bin/raco link Acquire

popd 


echo "" > RESULTS.TXT

for i in "no-contracts" "with-contracts" "with-options"
do
  ./a_modes ../../ $i
done

../../../plt/bin/raco link -r ../../../Acquire
