Revision 5c52dae6
| 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