From 03755364ff17e5bd6cf6408d982df748fa13376c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 25 May 2019 20:00:04 +0100
Subject: Add scripts to run verifuzz

---
 scripts/run   | 15 +++++++++++++++
 scripts/swarm | 16 ++++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100755 scripts/run
 create mode 100755 scripts/swarm

diff --git a/scripts/run b/scripts/run
new file mode 100755
index 0000000..f6683cb
--- /dev/null
+++ b/scripts/run
@@ -0,0 +1,15 @@
+#!/usr/bin/env python3
+
+import subprocess
+
+def main():
+        i = 0
+        name = "output_yosys_all"
+        config = "experiments/yosys_all.toml"
+        iterations = 50
+        while True:
+                subprocess.call(["verifuzz", "fuzz", "-o", name + str(i), "-c", config, "-n", str(iterations)])
+                i += 1
+
+if __name__ == '__main__':
+        main()
diff --git a/scripts/swarm b/scripts/swarm
new file mode 100755
index 0000000..526fb30
--- /dev/null
+++ b/scripts/swarm
@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+
+import subprocess
+
+def main():
+        i = 0
+        name = "output_large_rand"
+        config = "experiments/config_large.toml"
+        iterations = 20
+        while True:
+                subprocess.call(["verifuzz", "config", "-c", config, "-o", "config_random.toml", "--randomise"])
+                subprocess.call(["verifuzz", "fuzz", "-o", name + str(i), "-c", "config_random.toml", "-n", str(iterations)])
+                i += 1
+
+if __name__ == '__main__':
+        main()
-- 
cgit