diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 12:51:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 12:51:11 +0100 |
commit | b72c905c718ff52e623b748034d567cf8552b50e (patch) | |
tree | b3daf3603897b5ea0cdf50cc1fc28a7e862431b1 /scripts | |
parent | 309dd0b0a84057c998c492fdf488156c73b33613 (diff) | |
download | verismith-b72c905c718ff52e623b748034d567cf8552b50e.tar.gz verismith-b72c905c718ff52e623b748034d567cf8552b50e.zip |
Only modify expressions in swarm testing
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/size.py | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/scripts/size.py b/scripts/size.py deleted file mode 100755 index 5fe2f48..0000000 --- a/scripts/size.py +++ /dev/null @@ -1,23 +0,0 @@ -#!/usr/bin/env python3 - -import subprocess -import statistics - -def file_len(fname): - with open(fname) as f: - for i, l in enumerate(f): - pass - return i + 1 - -def main(): - l = [] - for x in range(0, 10): - subprocess.call(["verifuzz", "generate", "-o", "main.v", "-c", "config.toml"]) - l.append(file_len("main.v")) - print("mean: ", statistics.mean(l)) - print("median: ", statistics.median(l)) - print("stdev: ", statistics.stdev(l)) - print("variance: ", statistics.variance(l)) - -if __name__ == '__main__': - main() |