diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-08-29 15:44:33 +1000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-08-29 15:44:33 +1000 |
commit | cccb665ebac6e916c4f961eacbe11a9af7d7ceb3 (patch) | |
tree | f00baaec9dcb747c27375af366ad9aec9d2dbe16 /scripts/size.py | |
parent | 74a14ef30359e653259bf7139fe806548edefd14 (diff) | |
download | verismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.tar.gz verismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.zip |
Change name from VeriFuzz to VeriSmith
Diffstat (limited to 'scripts/size.py')
-rwxr-xr-x | scripts/size.py | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |