Change name from VeriFuzz to VeriSmith

3 files changed, 4 insertions, 4 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)])
diff --git a/scripts/size.py b/scripts/size.py
index d6d7466..bd83862 100755
--- a/scripts/size.py
+++ b/scripts/size.py
@@ -14,7 +14,7 @@ def file_len(fname):
 def main(c, n):
     l = []
     for x in range(0, n):
-        subprocess.call(["verifuzz", "generate", "-o", "main.v", "-c", c])
+        subprocess.call(["verismith", "generate", "-o", "main.v", "-c", c])
         l.append(file_len("main.v"))
     os.remove("main.v")
     print("mean: ", statistics.mean(l))
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)])