root / test.hs @ 095d7ac0
History | View | Annotate | Download (856 Bytes)
| 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 "Container" options |
| 25 |
[ run prop_Container_addTwo ] |
| 26 |
|
| 27 |
runTests "Instance" options |
| 28 |
[ run prop_Instance_setIdx |
| 29 |
, run prop_Instance_setName |
| 30 |
, run prop_Instance_setPri |
| 31 |
, run prop_Instance_setSec |
| 32 |
, run prop_Instance_setBoth |
| 33 |
] |
| 34 |
|
| 35 |
runTests "Node" options |
| 36 |
[ run prop_Node_addPri |
| 37 |
, run prop_Node_addSec |
| 38 |
] |