diff options
Diffstat (limited to 'scripts/run.py')
-rwxr-xr-x | scripts/run.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run.py b/scripts/run.py index 63295af..636e1c3 100755 --- a/scripts/run.py +++ b/scripts/run.py @@ -12,7 +12,7 @@ def main(): if not os.path.exists(directory): os.makedirs(directory) while True: - subprocess.call(["verifuzz", "fuzz" + subprocess.call(["verismith", "fuzz" , "-o", directory + "/" + name + str(i) , "-c", config , "-n", str(iterations)]) |