diff options
Diffstat (limited to 'scripts/swarm')
| -rwxr-xr-x | scripts/swarm | 16 |
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__': |