diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/run.py | 2 | ||||
-rwxr-xr-x | scripts/size.py | 2 | ||||
-rwxr-xr-x | scripts/swarm.py | 4 |
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)]) |