Revision 8a8ed513 htools/Ganeti/HTools/QC.hs
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 513 | 513 |
where _types = (inst::Instance.Instance, pdx::Types.Ndx, sdx::Types.Ndx) |
| 514 | 514 |
si = Instance.setBoth inst pdx sdx |
| 515 | 515 |
|
| 516 |
prop_Instance_runStatus_True = |
|
| 517 |
forAll (arbitrary `suchThat` |
|
| 518 |
((`elem` Instance.runningStates) . Instance.runSt)) |
|
| 519 |
Instance.running |
|
| 520 |
|
|
| 521 |
prop_Instance_runStatus_False inst = |
|
| 522 |
let run_st = Instance.running inst |
|
| 523 |
run_tx = Instance.runSt inst |
|
| 524 |
in |
|
| 525 |
run_tx `notElem` Instance.runningStates ==> not run_st |
|
| 526 |
|
|
| 527 | 516 |
prop_Instance_shrinkMG inst = |
| 528 | 517 |
Instance.mem inst >= 2 * Types.unitMem ==> |
| 529 | 518 |
case Instance.shrinkByType inst Types.FailMem of |
| ... | ... | |
| 572 | 561 |
, 'prop_Instance_setPri |
| 573 | 562 |
, 'prop_Instance_setSec |
| 574 | 563 |
, 'prop_Instance_setBoth |
| 575 |
, 'prop_Instance_runStatus_True |
|
| 576 |
, 'prop_Instance_runStatus_False |
|
| 577 | 564 |
, 'prop_Instance_shrinkMG |
| 578 | 565 |
, 'prop_Instance_shrinkMF |
| 579 | 566 |
, 'prop_Instance_shrinkCG |
Also available in: Unified diff