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 |
] |