leancheck-0.7.0: tests/diff/tiers-mixed-Bool-Bool.out
tiers :: [Bool->Bool] =
[ [ \x -> case x of
False -> False
True -> False
, \x -> case x of
False -> False
True -> True
, \x -> case x of
False -> True
True -> False
, \x -> case x of
False -> True
True -> True
, \x -> case x of
False -> False
True -> False
, \x -> case x of
False -> True
True -> False
, \x -> case x of
False -> False
True -> True
, \x -> case x of
False -> True
True -> True
]
]
map length (tiers :: [[ Bool->Bool ]]) = [8]
length (list :: [ Bool->Bool ]) = 8
allUnique (list :: [ Bool->Bool ]) = False
ratioRepetitions (list :: [ Bool->Bool ]) = 1 % 2