Revision 3158250d
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 717 | 717 |
|
| 718 | 718 |
-- | Checks for memory reservation changes. |
| 719 | 719 |
prop_Node_rMem inst = |
| 720 |
forAll (arbitrary `suchThat` ((> 0) . Node.fMem)) $ \node ->
|
|
| 720 |
forAll (arbitrary `suchThat` ((> Types.unitMem) . Node.fMem)) $ \node ->
|
|
| 721 | 721 |
-- ab = auto_balance, nb = non-auto_balance |
| 722 | 722 |
-- we use -1 as the primary node of the instance |
| 723 | 723 |
let inst' = inst { Instance.pNode = -1, Instance.autoBalance = True }
|
Also available in: Unified diff