From aedd7ea98c1cbc363741c8869f506c228bd9ef85 Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <kwojtus@protonmail.com>
Date: Thu, 25 Apr 2019 14:28:51 +0200
Subject: add script that runs mull with different options

---
 make_results.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 make_results.sh

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
-- 
cgit v1.2.3