Add changes to swarm

1 files changed, 13 insertions, 3 deletions

diff --git a/scripts/swarm b/scripts/swarm
index b489f00..99b0c54 100755
--- a/scripts/swarm
+++ b/scripts/swarm
@@ -1,15 +1,25 @@
 #!/usr/bin/env python3
 
 import subprocess
+import os
 
 def main():
         i = 0
-        name = "output_swarm_medium2_rand"
+        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", "config_random.toml", "--randomise"])
-                subprocess.call(["verifuzz", "fuzz", "-o", name + str(i), "-c", "config_random.toml", "-n", str(iterations)])
+                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__':