diff options
Diffstat (limited to 'impl/performance/run-bench.sh')
-rw-r--r-- | impl/performance/run-bench.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/impl/performance/run-bench.sh b/impl/performance/run-bench.sh new file mode 100644 index 0000000..8ebdbbc --- /dev/null +++ b/impl/performance/run-bench.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +NUM=1 +COUNT=1 + +while [[ `echo "$NUM < 100000" | bc` == "1" ]] +do + echo -n "($NUM," + python generate-long.py $NUM > system.eqns + echo `../build/main system.eqns 2>&1 >/dev/null | grep Time | egrep -o "[0-9]*\.[0-9]+"` ")" + NUM=$(($NUM * 2)) + COUNT=$(($COUNT + 1)) +done |