Revision 5c52dae6 htools/Ganeti/HTools/QC.hs

b/htools/Ganeti/HTools/QC.hs
1012 1012
-- | Checks for memory reservation changes.
1013 1013
prop_Node_rMem inst =
1014 1014
  not (Instance.isOffline inst) ==>
1015
  forAll (arbitrary `suchThat` ((> Types.unitMem) . Node.fMem)) $ \node ->
1015
  forAll (genOnlineNode `suchThat` ((> Types.unitMem) . Node.fMem)) $ \node ->
1016 1016
  -- ab = auto_balance, nb = non-auto_balance
1017 1017
  -- we use -1 as the primary node of the instance
1018 1018
  let inst' = inst { Instance.pNode = -1, Instance.autoBalance = True }

Also available in: Unified diff