Revision 3c1e4af0
b/htools/Ganeti/HTools/QC.hs | ||
---|---|---|
966 | 966 |
inst' = setInstanceSmallerThanNode node inst |
967 | 967 |
inst'' = inst' { Instance.dsk = Instance.dsk inst } |
968 | 968 |
|
969 |
prop_Node_addPriFC (Positive extra) = |
|
969 |
prop_Node_addPriFC = |
|
970 |
forAll (choose (1, maxCpu)) $ \extra -> |
|
970 | 971 |
forAll genOnlineNode $ \node -> |
971 | 972 |
forAll (arbitrary `suchThat` Instance.instanceNotOffline) $ \inst -> |
972 | 973 |
let inst' = setInstanceSmallerThanNode node inst |
Also available in: Unified diff