Revision b99d1638
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 718 | 718 |
|
| 719 | 719 |
-- | Check that an offline instance with reasonable disk size can always |
| 720 | 720 |
-- be added. |
| 721 |
prop_Node_addPriOffline node = |
|
| 721 |
prop_Node_addPriOffline = |
|
| 722 |
forAll (arbitrary `suchThat` ((> 0) . Node.fMem)) $ \node -> |
|
| 722 | 723 |
forAll (arbitrary `suchThat` |
| 723 | 724 |
(\ x -> (Instance.dsk x < Node.fDsk node) && |
| 724 | 725 |
Instance.instanceOffline x)) $ \inst -> |
| ... | ... | |
| 726 | 727 |
Types.OpGood _ -> True |
| 727 | 728 |
_ -> False |
| 728 | 729 |
|
| 729 |
prop_Node_addSecOffline node pdx = |
|
| 730 |
prop_Node_addSecOffline pdx = |
|
| 731 |
forAll (arbitrary `suchThat` ((> 0) . Node.fMem)) $ \node -> |
|
| 730 | 732 |
forAll (arbitrary `suchThat` |
| 731 | 733 |
(\ x -> (Instance.dsk x < Node.fDsk node) && |
| 732 | 734 |
Instance.instanceOffline x)) $ \inst -> |
Also available in: Unified diff