leancheck-0.7.1: tests/diff/tiers-mixed-Bool-Bool.out
map length (tiers :: [[ Bool->Bool ]]) = [8]
length (list :: [ Bool->Bool ]) = 8
allUnique (list :: [ Bool->Bool ]) = False
ratioRepetitions (list :: [ Bool->Bool ]) = 1 % 2
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
]
]