Commit a50ffcd4 authored by AVANZINI Martin's avatar AVANZINI Martin
Browse files

absynth test script

parent 8f806526
set -o pipefail
tmout="60s"
opt="-degree 2 -dump-stats"
bin="./absynth-exe"
output="absynth-results.txt"
ostimeout="timeout"
pwd
cp /home/pldiae/absynth/source/absynth absynth-exe
cp -r /home/pldiae/absynth/gsl_caller .
cp -r /home/pldiae/absynth/llvm-reader .
rm -f ${output}
if [[ "$OSTYPE" == "darwin"* ]]; then
ostimeout="gtimeout"
fi
for ex in `find examples/oopsla -type f -name '*.imp' -o -name '*.absynth' | sort`
do
echo "------------------------------------" >> ${output}
echo $(basename "${ex}") >> ${output}
echo "------------------------------------" >> ${output}
tmp=/tmp/`basename ${ex}`.imp
cp $ex $tmp
echo -ne "`basename $ex`\t\t"
$ostimeout $tmout $bin $opt $tmp | tee -a ${output} | head -n 1
code=$?
rm $tmp
code=$?
case $code in
124)
echo "[TIMEOUT]"
;;
esac
echo "" >> ${output}
done
echo "Done."
rm -f ${bin}
rm -rf gsl_caller
rm -rf llvm-reader
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment