Revision 309e7c9a

b/htools/Ganeti/HTools/QC.hs
476 476 
prop_Text_Load_Instance name mem dsk vcpus status
477 477 
                        (NonEmpty pnode) snode
478 478 
                        (NonNegative pdx) (NonNegative sdx) autobal =
479 
    pnode /= snode && pdx /= sdx ==>
479 480 
    let vcpus_s = show vcpus
480 481 
        dsk_s = show dsk
481 482 
        mem_s = show mem
482 
        rsdx = if pdx == sdx
483 
               then sdx + 1
484 
               else sdx
485 483 
        ndx = if null snode
486 484 
              then [(pnode, pdx)]
487 
              else [(pnode, pdx), (snode, rsdx)]
485 
              else [(pnode, pdx), (snode, sdx)]
488 486 
        nl = Data.Map.fromList ndx
489 487 
        tags = ""
490 488 
        sbal = if autobal then "Y" else "N"
......
508 506 
            Instance.pNode i == pdx &&
509 507 
            Instance.sNode i == (if null snode
510 508 
                                 then Node.noSecondary
511 
                                 else rsdx) &&
509 
                                 else sdx) &&
512 510 
            Instance.auto_balance i == autobal &&
513 511 
            isNothing fail1
514 512 

  		












Also available in:
  Unified diff