AllPresentB

Prop_TempHack

Alternative

scalaz

Atom

prop

a

Implication Input Reduction

allPresent

Eval EvalOver Prop_TempHack

and

Logic

apply

EqualB LogicPropExt AllPresentB BlacklistB EqualB WhitelistB

assert

Eval LogicPropExt Prop_TempHack

assertSatisfies

Prop_AnyExt

assertSuccess

Eval

atom

Eval EvalOver Prop_TempHack