code.grnet.gr Git - ganeti-local/blob - test.hs

   1 {-| Unittest runner for htools
   2
   3 -}
   4
   5 module Main(main) where
   6
   7 import Test.QuickCheck.Batch
   8 import Ganeti.HTools.QC
   9
  10 options = TestOptions
  11       { no_of_tests         = 500
  12       , length_of_tests     = 5
  13       , debug_tests         = False }
  14
  15 main = do
  16   runTests "PeerMap" options
  17        [ run prop_PeerMap_addIdempotent
  18        , run prop_PeerMap_removeIdempotent
  19        , run prop_PeerMap_maxElem
  20        , run prop_PeerMap_addFind
  21        , run prop_PeerMap_findMissing
  22        ]
  23
  24   runTests "Node" options
  25        [ run prop_Node_addPri
  26        , run prop_Node_addSec
  27        ]