Commit c3247be5 authored by Heiko Becker's avatar Heiko Becker

Update script to with correct paths

parent 8ff697e3
......@@ -43,7 +43,7 @@ do
# Generate a certificate with Daisy
echo -n $FILENAME >>$1
cd ./daisy
if [ ! -f testcases/mixed-precision-maps/$PMAP ];
if [ ! -f testcases/daisy-mixed-precision-maps/$PMAP ];
then
echo "Doing single precision eval for $FILENAME" >>$2
for prv in "${PROVERS[@]}"
......@@ -63,7 +63,7 @@ do
RESULT=$( { /usr/bin/time -f ", %e" \
./daisy $FILEPATH --certificate=$prv \
--errorMethod=interval \
--mixed-precision=testcases/mixed-precision-maps/$PMAP \
--mixed-precision=testcases/daisy-mixed-precision-maps/$PMAP \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&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