Hoed-0.3.2: tests/Prop/t2/Main.hs
-- A program with unexpected output.
import Digraph
import Debug.Hoed.Pure
-- main = quickcheck prop_idem_negin_sound
main = logOwp propVarError "hoed-tests-Prop-t2.graph" properties $ print (prop_assoc1toNdigraph eg)
where
properties = [ Propositions [(BoolProposition,digraphModule,"prop_assoc1toNdigraph",[0])] Specify "assoc1toNdigraph" []
, Propositions [(BoolProposition,digraphModule,"prop_mergeAndSortTargets",[0])] Specify "mergeAndSortTargets" []
, Propositions [(BoolProposition,digraphModule,"prop_addMissingSources",[0])] Specify "addMissingSources" []
]
digraphModule = Module "Digraph" "../Prop/t2/"