Revision 15e3d31c htools/Ganeti/HTools/QC.hs
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 1033 | 1033 |
SmallRatio mx' = mx |
| 1034 | 1034 |
|
| 1035 | 1035 |
-- Check tag maps |
| 1036 |
prop_Node_tagMaps_idempotent tags = |
|
| 1036 |
prop_Node_tagMaps_idempotent = |
|
| 1037 |
forAll genTags $ \tags -> |
|
| 1037 | 1038 |
Node.delTags (Node.addTags m tags) tags ==? m |
| 1038 | 1039 |
where m = Data.Map.empty |
| 1039 | 1040 |
|
| 1040 |
prop_Node_tagMaps_reject tags =
|
|
| 1041 |
not (null tags) ==>
|
|
| 1042 |
all (\t -> Node.rejectAddTags m [t]) tags
|
|
| 1043 |
where m = Node.addTags Data.Map.empty tags
|
|
| 1041 |
prop_Node_tagMaps_reject = |
|
| 1042 |
forAll (genTags `suchThat` (not . null)) $ \tags ->
|
|
| 1043 |
let m = Node.addTags Data.Map.empty tags
|
|
| 1044 |
in all (\t -> Node.rejectAddTags m [t]) tags
|
|
| 1044 | 1045 |
|
| 1045 | 1046 |
prop_Node_showField node = |
| 1046 | 1047 |
forAll (elements Node.defaultFields) $ \ field -> |
Also available in: Unified diff