Add conversion script

1 files changed, 26 insertions, 0 deletions

diff --git a/scripts/swarm.py b/scripts/swarm.py
new file mode 100755
index 0000000..99b0c54
--- /dev/null
+++ b/scripts/swarm.py
@@ -0,0 +1,26 @@
+#!/usr/bin/env python3
+
+import subprocess
+import os
+
+def main():
+        i = 0
+        name = "medium"
+        config = "experiments/config_medium.toml"
+        iterations = 20
+        directory = "swarm"
+        if not os.path.exists(directory):
+                os.makedirs(directory)
+        while True:
+                subprocess.call(["verifuzz", "config"
+                                 , "-c", config
+                                 , "-o", directory + "/config_medium_random.toml"
+                                 , "--randomise"])
+                subprocess.call([ "verifuzz", "fuzz"
+                                 , "-o", directory + "/" + name + str(i)
+                                 , "-c", directory + "/config_medium_random.toml"
+                                 , "-n", str(iterations)])
+                i += 1
+
+if __name__ == '__main__':
+        main()