Commit 7a1a65a0 authored by Heiko Becker's avatar Heiko Becker

Fix script bugs

parent 57bf758a
......@@ -26,6 +26,7 @@ do
FILEPATH=${file/daisy\//.\/}
FILE=${file/*\//}
FILENAME=${FILE/.scala/}
FILENAME=${FILENAME/Let/}
PMAP=${FILE/scala/txt}
CERTNAME="certificate_$FILENAME"
# Generate a certificate with Daisy
......@@ -38,7 +39,7 @@ do
./daisy $FILEPATH --certificate=coq \
--rangeMethod=affine \
--errorMethod=interval \
--results-csv=$FILENAME \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1 )
echo -n $RESULT >> $1
......@@ -49,7 +50,7 @@ do
--rangeMethod=affine \
--errorMethod=interval \
--mixed-precision=testcases/mixed-precision-maps/$PMAP \
--results-csv=$FILENAME \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1)
echo -n $RESULT >> $1
......
......@@ -35,6 +35,7 @@ do
FILEPATH=${file/daisy\//.\/}
FILE=${file/*\//}
FILENAME=${FILE/.scala/}
FILENAME=${FILENAME/Let/}
PMAP=${FILE/scala/txt}
CERTNAME="certificate_$FILENAME"
# Generate a certificate with Daisy
......@@ -48,7 +49,7 @@ do
RESULT=$( { /usr/bin/time -f ", %e" \
./daisy $FILEPATH --certificate=$prv \
--errorMethod=interval \
--results-csv=$FILENAME \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1 )
echo -n $RESULT >> $1
......@@ -61,7 +62,7 @@ do
./daisy $FILEPATH --certificate=$prv \
--errorMethod=interval \
--mixed-precision=testcases/mixed-precision-maps/$PMAP \
--results-csv=$FILENAME \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1)
echo -n $RESULT >> $1
......
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