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)])