diff options
-rwxr-xr-x | make_results.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/make_results.sh b/make_results.sh new file mode 100755 index 0000000..5b74471 --- /dev/null +++ b/make_results.sh @@ -0,0 +1,7 @@ +#!/bin/bash + +for KIND in 4 8 16; do + for IMPL in naiv bett dot mat bett2; do + ./build/mull $KIND $IMPL > res/${IMPL}_$KIND + done +done |