import Debug.Hoed.Pure
import Nubsort

main = testOwp ps prop_nub_idempotent [2,1,1]
  where
  ps = [ Propositions [ (BoolProposition,nubsortModule,"prop_nub_idempotent",[0])
                      , (BoolProposition,nubsortModule,"prop_nub_unique",[0])
                      , (BoolProposition,nubsortModule,"prop_nub_complete",[0])
                      ] PropertiesOf "nub" []
       , Propositions [ (QuickCheckProposition,nubsortModule,"prop_nubord_idempotent",[0])
                      , (QuickCheckProposition,nubsortModule,"prop_nubord_unique",[0])
                      , (QuickCheckProposition,nubsortModule,"prop_nubord_complete",[0])
                      ] PropertiesOf "nubord" [modQuickCheck]
       , Propositions [ (QuickCheckProposition,nubsortModule,"prop_insert_ordered",[0])
                      , (QuickCheckProposition,nubsortModule,"prop_insert_complete",[0])
                      ] PropertiesOf "insert" [modQuickCheck]
       ]
  nubsortModule = Module "Nubsort" "../examples/Nubsort/"
  modQuickCheck = Module "Test.QuickCheck" ""