Revision d067f40b test/hs/Test/Ganeti/HTools/Types.hs
b/test/hs/Test/Ganeti/HTools/Types.hs | ||
---|---|---|
31 | 31 |
, Types.AllocPolicy(..) |
32 | 32 |
, Types.DiskTemplate(..) |
33 | 33 |
, Types.FailMode(..) |
34 |
, Types.EvacMode(..) |
|
35 | 34 |
, Types.ISpec(..) |
36 | 35 |
, Types.IPolicy(..) |
37 | 36 |
, nullIPolicy |
... | ... | |
61 | 60 |
|
62 | 61 |
$(genArbitrary ''Types.FailMode) |
63 | 62 |
|
64 |
$(genArbitrary ''Types.EvacMode) |
|
65 |
|
|
66 | 63 |
instance Arbitrary a => Arbitrary (Types.OpResult a) where |
67 | 64 |
arbitrary = arbitrary >>= \c -> |
68 | 65 |
if c |
... | ... | |
155 | 152 |
prop_IPolicy_serialisation :: Types.IPolicy -> Property |
156 | 153 |
prop_IPolicy_serialisation = testSerialisation |
157 | 154 |
|
158 |
prop_EvacMode_serialisation :: Types.EvacMode -> Property |
|
159 |
prop_EvacMode_serialisation = testSerialisation |
|
160 |
|
|
161 | 155 |
prop_opToResult :: Types.OpResult Int -> Property |
162 | 156 |
prop_opToResult op = |
163 | 157 |
case op of |
... | ... | |
200 | 194 |
testSuite "HTools/Types" |
201 | 195 |
[ 'prop_ISpec_serialisation |
202 | 196 |
, 'prop_IPolicy_serialisation |
203 |
, 'prop_EvacMode_serialisation |
|
204 | 197 |
, 'prop_opToResult |
205 | 198 |
, 'prop_eitherToResult |
206 | 199 |
, 'case_AutoRepairType_sort |
Also available in: Unified diff