aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/swarm
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/swarm')
-rwxr-xr-xscripts/swarm4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/swarm b/scripts/swarm
index 526fb30..b489f00 100755
--- a/scripts/swarm
+++ b/scripts/swarm
@@ -4,8 +4,8 @@ import subprocess
def main():
i = 0
- name = "output_large_rand"
- config = "experiments/config_large.toml"
+ name = "output_swarm_medium2_rand"
+ config = "experiments/config_medium.toml"
iterations = 20
while True:
subprocess.call(["verifuzz", "config", "-c", config, "-o", "config_random.toml", "--randomise"])