Revision c6b7e804
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 998 | 998 |
|
| 999 | 999 |
-- | Check that an offline instance with reasonable disk size but |
| 1000 | 1000 |
-- extra mem/cpu can always be added. |
| 1001 |
prop_Node_addOffline (NonNegative extra_mem) (NonNegative extra_cpu) pdx =
|
|
| 1001 |
prop_Node_addOfflinePri (NonNegative extra_mem) (NonNegative extra_cpu) =
|
|
| 1002 | 1002 |
forAll genOnlineNode $ \node -> |
| 1003 | 1003 |
forAll (genInstanceSmallerThanNode node) $ \inst -> |
| 1004 | 1004 |
let inst' = inst { Instance.runSt = Types.AdminOffline
|
| 1005 | 1005 |
, Instance.mem = Node.availMem node + extra_mem |
| 1006 | 1006 |
, Instance.vcpus = Node.availCpu node + extra_cpu } |
| 1007 |
in case (Node.addPri node inst', Node.addSec node inst' pdx) of |
|
| 1008 |
(Types.OpGood _, Types.OpGood _) -> property True |
|
| 1007 |
in case Node.addPri node inst' of |
|
| 1008 |
Types.OpGood _ -> property True |
|
| 1009 |
v -> failTest $ "Expected OpGood, but got: " ++ show v |
|
| 1010 |
|
|
| 1011 |
-- | Check that an offline instance with reasonable disk size but |
|
| 1012 |
-- extra mem/cpu can always be added. |
|
| 1013 |
prop_Node_addOfflineSec (NonNegative extra_mem) (NonNegative extra_cpu) pdx = |
|
| 1014 |
forAll genOnlineNode $ \node -> |
|
| 1015 |
forAll (genInstanceSmallerThanNode node) $ \inst -> |
|
| 1016 |
let inst' = inst { Instance.runSt = Types.AdminOffline
|
|
| 1017 |
, Instance.mem = Node.availMem node + extra_mem |
|
| 1018 |
, Instance.vcpus = Node.availCpu node + extra_cpu |
|
| 1019 |
, Instance.diskTemplate = Types.DTDrbd8 } |
|
| 1020 |
in case Node.addSec node inst' pdx of |
|
| 1021 |
Types.OpGood _ -> property True |
|
| 1009 | 1022 |
v -> failTest $ "Expected OpGood/OpGood, but got: " ++ show v |
| 1010 | 1023 |
|
| 1011 | 1024 |
-- | Checks for memory reservation changes. |
| ... | ... | |
| 1102 | 1115 |
, 'prop_Node_addPriFD |
| 1103 | 1116 |
, 'prop_Node_addPriFC |
| 1104 | 1117 |
, 'prop_Node_addSec |
| 1105 |
, 'prop_Node_addOffline |
|
| 1118 |
, 'prop_Node_addOfflinePri |
|
| 1119 |
, 'prop_Node_addOfflineSec |
|
| 1106 | 1120 |
, 'prop_Node_rMem |
| 1107 | 1121 |
, 'prop_Node_setMdsk |
| 1108 | 1122 |
, 'prop_Node_tagMaps_idempotent |
Also available in: Unified diff