Revision 0e09422b htools/Ganeti/HTools/QC.hs
b/htools/Ganeti/HTools/QC.hs | ||
---|---|---|
529 | 529 |
Instance.sNode i == (if null snode |
530 | 530 |
then Node.noSecondary |
531 | 531 |
else sdx) && |
532 |
Instance.auto_balance i == autobal &&
|
|
532 |
Instance.autoBalance i == autobal &&
|
|
533 | 533 |
isNothing fail1 |
534 | 534 |
|
535 | 535 |
prop_Text_Load_InstanceFail ktn fields = |
... | ... | |
652 | 652 |
forAll (arbitrary `suchThat` ((> 0) . Node.fMem)) $ \node -> |
653 | 653 |
-- ab = auto_balance, nb = non-auto_balance |
654 | 654 |
-- we use -1 as the primary node of the instance |
655 |
let inst' = inst { Instance.pNode = -1, Instance.auto_balance = True }
|
|
655 |
let inst' = inst { Instance.pNode = -1, Instance.autoBalance = True }
|
|
656 | 656 |
inst_ab = setInstanceSmallerThanNode node inst' |
657 |
inst_nb = inst_ab { Instance.auto_balance = False }
|
|
657 |
inst_nb = inst_ab { Instance.autoBalance = False }
|
|
658 | 658 |
-- now we have the two instances, identical except the |
659 |
-- auto_balance attribute
|
|
659 |
-- autoBalance attribute
|
|
660 | 660 |
orig_rmem = Node.rMem node |
661 | 661 |
inst_idx = Instance.idx inst_ab |
662 | 662 |
node_add_ab = Node.addSec node inst_ab (-1) |
Also available in: Unified diff