{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
module Test.Hedgehog.Confidence where

import           Hedgehog
import qualified Hedgehog.Range as Range
import qualified Hedgehog.Internal.Gen as Gen

confidence :: Confidence
confidence = 10 ^ (9 :: Int)

prop_with_confidence :: Property
prop_with_confidence =
  verifiedTermination . withConfidence confidence . property $ do
    number <- forAll (Gen.int $ Range.linear 1 10)
    cover 20 "number == 1" $ number == 1

-- This tests that at least 1000 tests are run for the property
prop_with_confidence_and_min_tests :: Property
prop_with_confidence_and_min_tests =
  withConfidence confidence . withTests 1000 . property $ do
    number <- forAll (Gen.int $ Range.linear 1 10)
    cover 10 "number == 2" $ number == 2

tests :: IO Bool
tests =
  checkParallel $$(discover)