diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:43:10 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:43:10 +0200 |
commit | e200500f6a43d0ed48b194f9fc397fd32e9ce3e2 (patch) | |
tree | f62bea2924ff4a24bddde6982686400377d64c05 /verifuzz.cabal | |
parent | eab290581be7e3c0f504044731c076f858d24e61 (diff) | |
download | verismith-e200500f6a43d0ed48b194f9fc397fd32e9ce3e2.tar.gz verismith-e200500f6a43d0ed48b194f9fc397fd32e9ce3e2.zip |
Add non determinism probability to generation
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index aa64717..b939034 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -62,6 +62,8 @@ library , VeriFuzz.Verilog.Quote , VeriFuzz.Verilog.Token build-depends: base >=4.7 && <5 + -- Cannot upgrade to 1.0 because of missing MonadGen instance for + -- StateT. , hedgehog >= 0.5.3 && <0.7 , fgl >=5.6 && <5.8 , fgl-visualize >=0.1 && <0.2 |