diff options
Diffstat (limited to 'src/extra_tests/timing/testsuite.sh')
-rwxr-xr-x | src/extra_tests/timing/testsuite.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/extra_tests/timing/testsuite.sh b/src/extra_tests/timing/testsuite.sh new file mode 100755 index 000000000..186624c46 --- /dev/null +++ b/src/extra_tests/timing/testsuite.sh @@ -0,0 +1,23 @@ +#!/bin/sh + +cd timing-tests +make +./main + +zipdate=$(date +%d-%H-%M) +zipfile="${zipdate}-results.zip" +zip -r $zipfile results + +cd .. +cd mona-timing-report + +for dir in ../timing-tests/results/*; +do + echo "Working in directory: " $dir + for file in $dir/*; + do + echo "Creating report for: " $file + java -jar ReportingTool.jar --inputFile=$file --name=$file --lowerBound=0.4 --upperBound=0.5 + rm $file + done +done |