kudzu-0.1.1.0: coverage driven random testing framework

Safe Haskell	Safe-Inferred
Language	Haskell2010

Kudzu

Synopsis

testUntilSameQCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer))
testUntilSameQC :: Testable a => Int -> a -> IO (KudzuResult Integer)
examineAndCount' :: Testable prop => prop -> Int -> IO Integer
testUntilSameHHMany :: Traversable t => Int -> t Property -> IO (t (KudzuResult Integer))
testUntilSameHH :: Int -> Property -> IO (KudzuResult Integer)
examineAndCountHH :: Property -> IO Integer
testUntilSameLCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer))
testUntilSameLC :: Testable a => Int -> a -> IO (KudzuResult Integer)
examineAndCount :: ([String], Bool) -> IO Integer
data KudzuResult a
- = KFail Int
- | KSuccess Int a
grabUntilNSame :: (Monad m, Eq a) => Int -> [m a] -> m (KudzuResult a)
tixCount :: TixModule -> Integer
tixModuleCount :: Tix -> Integer

Documentation

testUntilSameQCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer)) Source #

testUntilSameQC :: Testable a => Int -> a -> IO (KudzuResult Integer) Source #

QuickCheck

examineAndCount' :: Testable prop => prop -> Int -> IO Integer Source #

testUntilSameHHMany :: Traversable t => Int -> t Property -> IO (t (KudzuResult Integer)) Source #

Hedgehog

testUntilSameHH :: Int -> Property -> IO (KudzuResult Integer) Source #

examineAndCountHH :: Property -> IO Integer Source #

testUntilSameLCMany :: (Traversable t, Testable a) => Int -> t a -> IO (t (KudzuResult Integer)) Source #

LeanCheck

testUntilSameLC :: Testable a => Int -> a -> IO (KudzuResult Integer) Source #

examineAndCount :: ([String], Bool) -> IO Integer Source #

data KudzuResult a Source #

Constructors

KFail Int
KSuccess Int a

Instances

Instances details

Show a => Show (KudzuResult a) Source #
Instance details Defined in Kudzu Methods showsPrec :: Int -> KudzuResult a -> ShowS # show :: KudzuResult a -> String # showList :: [KudzuResult a] -> ShowS #
Eq a => Eq (KudzuResult a) Source #
Instance details Defined in Kudzu Methods (==) :: KudzuResult a -> KudzuResult a -> Bool # (/=) :: KudzuResult a -> KudzuResult a -> Bool #
Ord a => Ord (KudzuResult a) Source #
Instance details Defined in Kudzu Methods compare :: KudzuResult a -> KudzuResult a -> Ordering # (<) :: KudzuResult a -> KudzuResult a -> Bool # (<=) :: KudzuResult a -> KudzuResult a -> Bool # (>) :: KudzuResult a -> KudzuResult a -> Bool # (>=) :: KudzuResult a -> KudzuResult a -> Bool # max :: KudzuResult a -> KudzuResult a -> KudzuResult a # min :: KudzuResult a -> KudzuResult a -> KudzuResult a #

grabUntilNSame Source #

Arguments

:: (Monad m, Eq a)
=> Int	How many iterations must be the same?
-> [m a]	a lazy list of iterations
-> m (KudzuResult a)

Keep running property tests until the "amount" of code coverage is the same for N iterations of one test.

tixCount :: TixModule -> Integer Source #

How many regions were executed at least once for this module?

tixModuleCount :: Tix -> Integer Source #

How many regions were executed at least once for all these modules?