reorg quickcheck to a separate module
This commit is contained in:
parent
3449c0e8ec
commit
689bdae03a
3 changed files with 53 additions and 38 deletions
3
Test.hs
3
Test.hs
|
@ -83,6 +83,7 @@ import qualified Utility.Matcher
|
|||
import qualified Utility.Exception
|
||||
import qualified Utility.Hash
|
||||
import qualified Utility.Scheduled
|
||||
import qualified Utility.Scheduled.QuickCheck
|
||||
import qualified Utility.HumanTime
|
||||
import qualified Utility.ThreadScheduler
|
||||
import qualified Utility.Base64
|
||||
|
@ -157,7 +158,7 @@ properties = localOption (QuickCheckTests 1000) $ testGroup "QuickCheck"
|
|||
, testProperty "prop_parse_show_TrustLog" Logs.Trust.prop_parse_show_TrustLog
|
||||
, testProperty "prop_hashes_stable" Utility.Hash.prop_hashes_stable
|
||||
, testProperty "prop_mac_stable" Utility.Hash.prop_mac_stable
|
||||
, testProperty "prop_schedule_roundtrips" Utility.Scheduled.prop_schedule_roundtrips
|
||||
, testProperty "prop_schedule_roundtrips" Utility.Scheduled.QuickCheck.prop_schedule_roundtrips
|
||||
, testProperty "prop_past_sane" Utility.Scheduled.prop_past_sane
|
||||
, testProperty "prop_duration_roundtrips" Utility.HumanTime.prop_duration_roundtrips
|
||||
, testProperty "prop_metadata_sane" Types.MetaData.prop_metadata_sane
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue