Add scripts to run verifuzz

2 files changed, 31 insertions, 0 deletions

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()