From b72c905c718ff52e623b748034d567cf8552b50e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 May 2019 12:51:11 +0100 Subject: Only modify expressions in swarm testing --- scripts/size.py | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 scripts/size.py (limited to 'scripts') 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() -- cgit