root / test.hs @ 15f4c8ca
History | View | Annotate | Download (575 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 "Node" options |
25 |
[ run prop_Node_addPri |
26 |
, run prop_Node_addSec |
27 |
] |