From cccb665ebac6e916c4f961eacbe11a9af7d7ceb3 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 29 Aug 2019 15:44:33 +1000 Subject: Change name from VeriFuzz to VeriSmith --- scripts/swarm.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts/swarm.py') diff --git a/scripts/swarm.py b/scripts/swarm.py index 99b0c54..1441121 100755 --- a/scripts/swarm.py +++ b/scripts/swarm.py @@ -12,11 +12,11 @@ def main(): if not os.path.exists(directory): os.makedirs(directory) while True: - subprocess.call(["verifuzz", "config" + subprocess.call(["verismith", "config" , "-c", config , "-o", directory + "/config_medium_random.toml" , "--randomise"]) - subprocess.call([ "verifuzz", "fuzz" + subprocess.call([ "verismith", "fuzz" , "-o", directory + "/" + name + str(i) , "-c", directory + "/config_medium_random.toml" , "-n", str(iterations)]) -- cgit