GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-12-01 20:23:10 +03:00
Code Issues Projects Releases Wiki Activity

Add realistic bounds for QuickCheck

Browse Source
This commit is contained in:
Rob Dockins 2020-07-06 18:33:20 -07:00
parent a6f0f25c9e
commit 5f1171ff83
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
what4/test/QC/VerifyBindings.hs
View File

@ -15,8 +15,8 @@ instance Testable V.Property where
verifyGenerators :: V.GenEnv Gen
verifyGenerators = V.GenEnv { V.genChooseBool = elements [ True, False ]
, V.genChooseInteger = \r -> chooseInteger r
, V.genChooseInt = \r -> chooseInt r
, V.genChooseInteger = \r -> choose r
, V.genChooseInt = \r -> choose r
, V.genGetSize = getSize
}

4
what4/what4.cabal
View File

@ -214,7 +214,7 @@ test-suite bvdomain_tests
, parameterized-utils
, tasty >= 0.10
, tasty-quickcheck >= 0.10
, QuickCheck
, QuickCheck >= 2.12
, transformers
, what4
@ -233,7 +233,7 @@ test-suite bvdomain_tests_hh
, parameterized-utils
, tasty >= 0.10
, tasty-hedgehog
, hedgehog
, hedgehog >= 1.0.2
, transformers
, what4