diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
| commit | 4ee6646b8a78d4c20fe0b89d95f23d382e1c47fc (patch) | |
| tree | 9b02e1b92f8abf0baf3dc108ab7f4fb8f33e753a /scripts/size.py | |
| parent | 1aaff80235237507572e0fb4be86f34cb1829b68 (diff) | |
| parent | 01c2ab3f6a58d416528efce3057e2cf2f1604489 (diff) | |
| download | verismith-feature/nondeterminism.tar.gz verismith-feature/nondeterminism.zip | |
Merge branch 'master' into HEADfeature/nondeterminism
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)) |