diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-18 19:59:51 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-18 19:59:51 +0100 |
commit | 0c791013340788eb4c18af361a57e4e2504a64f7 (patch) | |
tree | 4360f62c91a7a9150c3a74bd6f4beb25b305345f | |
parent | 4dc6b969dcd80f7ed05b2d18252785254fcc7963 (diff) | |
parent | 13ee5f9d3e7ad1286703a13a2375ff12ffb4a7e9 (diff) | |
download | verismith-0c791013340788eb4c18af361a57e4e2504a64f7.tar.gz verismith-0c791013340788eb4c18af361a57e4e2504a64f7.zip |
Merge branch 'master' of github.com:ymherklotz/verifuzz
-rwxr-xr-x | scripts/size.py | 23 | ||||
-rw-r--r-- | stack-8.4.2.yaml | 10 | ||||
-rw-r--r-- | verifuzz.cabal | 31 |
3 files changed, 48 insertions, 16 deletions
diff --git a/scripts/size.py b/scripts/size.py new file mode 100755 index 0000000..5fe2f48 --- /dev/null +++ b/scripts/size.py @@ -0,0 +1,23 @@ +#!/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() diff --git a/stack-8.4.2.yaml b/stack-8.4.2.yaml new file mode 100644 index 0000000..4c9cdda --- /dev/null +++ b/stack-8.4.2.yaml @@ -0,0 +1,10 @@ +flags: {} +packages: + - . +extra-deps: + - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e + - tomland-1.0.0@sha256:a6eb99963469c3c047f7f6a54ccbadc87c2ec046eec82c6f22e535f7edfbc292 + - dotgen-0.4.2@sha256:309b7cc8a3593a8e48bee7b53020d5f72db156d58edf78a0214f58fbb84b292b + - megaparsec-7.0.5@sha256:45e1f1348fab2783646fdb4d9e6097568981a740951c7356d36d794e2baba305 + - hedgehog-fn-0.5 +resolver: nightly-2018-05-30 diff --git a/verifuzz.cabal b/verifuzz.cabal index a7886e7..1b220f3 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -62,17 +62,17 @@ library , VeriFuzz.Verilog.Quote , VeriFuzz.Verilog.Token build-depends: base >=4.7 && <5 - , hedgehog >= 0.6 && <0.7 - , fgl >=5.7 && <5.8 + , hedgehog >= 0.5.3 && <0.7 + , fgl >=5.6 && <5.8 , fgl-visualize >=0.1 && <0.2 - , lens >=4.17 && <4.18 + , lens >=4.16.1 && <4.18 , random >=1.1 && <1.2 , shakespeare >=2 && <2.1 , shelly >=1.8.0 && <1.9 , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 , filepath >=1.4.2 && <1.5 - , binary >= 0.8.6 && <0.9 + , binary >= 0.8.5.1 && <0.9 , cryptonite >=0.25 && <0.26 , memory >=0.14 && <0.15 , DRBG >=0.5 && <0.6 @@ -80,19 +80,18 @@ library , transformers >=0.5 && <0.6 , transformers-base >=0.4.5 && <0.5 , tomland >=1.0 && <1.1 - , prettyprinter >=1.2.1 && <1.3 + , prettyprinter >=1.2.0.1 && <1.3 , array >=0.5 && <0.6 - , recursion-schemes >=5.1 && <5.2 - , prettyprinter >= 1.2.1 && < 1.3 + , recursion-schemes >=5.0.2 && <5.2 , time >= 1.8.0.2 && <1.9 , lifted-base >=0.2.3 && <0.3 , monad-control >=1.0.2 && <1.1 , gitrev >= 1.3.1 && <1.4 - , deepseq >= 1.4.4.0 && <1.5 - , template-haskell >=2.14.0 && <2.15 + , deepseq >= 1.4.3.0 && <1.5 + , template-haskell >=2.13.0 && <2.15 , optparse-applicative >=0.14 && <0.15 - , exceptions >=0.10.2 && <0.11 - , blaze-html >=0.9.1 && <0.10 + , exceptions >=0.10.0 && <0.11 + , blaze-html >=0.9.0.1 && <0.10 default-extensions: OverloadedStrings executable verifuzz @@ -115,13 +114,13 @@ test-suite test , Parser build-depends: base >=4 && <5 , verifuzz - , fgl >=5.7 && <5.8 - , tasty >=1.2 && <1.3 + , fgl >=5.6 && <5.8 + , tasty >=1.0.1.1 && <1.3 , tasty-hunit >=0.10 && <0.11 , tasty-hedgehog >=0.2 && <0.3 - , hedgehog >=0.6 && <0.7 - , hedgehog-fn >=0.6 && <0.7 - , lens >=4.17 && <4.18 + , hedgehog >=0.5.3 && <0.7 + , hedgehog-fn >=0.5 && <0.7 + , lens >=4.16.1 && <4.18 , shakespeare >=2 && <2.1 , text >=1.2 && <1.3 , parsec >= 3.1 && < 3.2 |