diff --git a/htools/Ganeti/HTools/QC.hs b/htools/Ganeti/HTools/QC.hs index 91a6ad4bc19895f9596e62ac777d50be8e356bd3..e2c005974f7f00c83ce6dcf9abf27d4eea261074 100644 --- a/htools/Ganeti/HTools/QC.hs +++ b/htools/Ganeti/HTools/QC.hs @@ -1033,14 +1033,15 @@ prop_Node_setMdsk node mx = SmallRatio mx' = mx -- Check tag maps -prop_Node_tagMaps_idempotent tags = +prop_Node_tagMaps_idempotent = + forAll genTags $ \tags -> Node.delTags (Node.addTags m tags) tags ==? m where m = Data.Map.empty -prop_Node_tagMaps_reject tags = - not (null tags) ==> - all (\t -> Node.rejectAddTags m [t]) tags - where m = Node.addTags Data.Map.empty tags +prop_Node_tagMaps_reject = + forAll (genTags `suchThat` (not . null)) $ \tags -> + let m = Node.addTags Data.Map.empty tags + in all (\t -> Node.rejectAddTags m [t]) tags prop_Node_showField node = forAll (elements Node.defaultFields) $ \ field ->