Revision 7dd5ee6c test.hs
| b/test.hs | ||
|---|---|---|
| 13 | 13 |
, debug_tests = False } |
| 14 | 14 |
|
| 15 | 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 |
] |
|
| 16 |
runTests "PeerMap" options test_PeerMap |
|
| 17 |
runTests "Container" options test_Container |
|
| 18 |
runTests "Instance" options test_Instance |
|
| 19 |
runTests "Node" options test_Node |
|
Also available in: Unified diff