Commit 99f512ed authored by Joachim Bard's avatar Joachim Bard
Browse files

increasing subdiv parameters in eval script

parent 24e890cc
...@@ -65,8 +65,8 @@ do ...@@ -65,8 +65,8 @@ do
--rangeMethod=smt \ --rangeMethod=smt \
--errorMethod=interval \ --errorMethod=interval \
--subdiv \ --subdiv \
--divLimit=3 \ --divLimit=5 \
--totalOpt=100 \ --totalOpt=150 \
--results-csv=$FILENAME.csv \ --results-csv=$FILENAME.csv \
>>$2 \ >>$2 \
; } 2>&1 ) ; } 2>&1 )
...@@ -81,8 +81,8 @@ do ...@@ -81,8 +81,8 @@ do
--rangeMethod=smt \ --rangeMethod=smt \
--errorMethod=interval \ --errorMethod=interval \
--subdiv \ --subdiv \
--divLimit=3 \ --divLimit=5 \
--totalOpt=100 \ --totalOpt=150 \
--mixed-precision=testcases/daisy-mixed-precision-maps/$PMAP \ --mixed-precision=testcases/daisy-mixed-precision-maps/$PMAP \
--results-csv=$FILENAME.csv \ --results-csv=$FILENAME.csv \
>>$2 \ >>$2 \
......
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