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