Hoed-0.3.5: examples/CNF_unsound_demorgan__with_properties/Main.hs

-- A program with unexpected output.
import CNF
import Debug.Hoed.Pure

main = runOwp properties $ print (prop_negin_correct negin eg)
  where
  properties = [Propositions [ (BoolProposition,cnfModule,"prop_negin_complete",[Argument (-1),Argument 0])
                             , (BoolProposition,cnfModule,"prop_negin_sound",[Argument (-1),Argument 0])]
                             Specify "negin" []
               ]
  cnfModule     = Module "CNF" "../examples/CNF_unsound_demorgan__with_properties/"