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

experiments table absynth results

parent b9486fc6
set -o pipefail
tmout="60s"
tmout="120s"
opt="-degree 2 -dump-stats"
bin="./absynth-exe"
output="absynth-results.txt"
......@@ -26,7 +26,7 @@ do
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
$ostimeout $tmout $bin $opt $tmp | tee -a ${output} | tee "`basename $ex`.absynth-out" | head -n 1
code=$?
rm $tmp
......
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