Revision 095d7ac0
| b/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 18 | 18 |
|
| 19 | 19 |
-- copied from the introduction to quickcheck |
| 20 | 20 |
instance Arbitrary Char where |
| 21 |
arbitrary = choose ('\32', '\128')
|
|
| 21 |
arbitrary = choose ('\32', '\128')
|
|
| 22 | 22 |
|
| 23 | 23 |
-- let's generate a random instance |
| 24 | 24 |
instance Arbitrary Instance.Instance where |
| ... | ... | |
| 81 | 81 |
where _types = pmap::PeerMap.PeerMap |
| 82 | 82 |
puniq = PeerMap.accumArray const pmap |
| 83 | 83 |
|
| 84 |
-- Container tests |
|
| 85 |
|
|
| 86 |
prop_Container_addTwo cdata i1 i2 = |
|
| 87 |
fn i1 i2 cont == fn i2 i1 cont && |
|
| 88 |
fn i1 i2 cont == fn i1 i2 (fn i1 i2 cont) |
|
| 89 |
where _types = (cdata::[Int], |
|
| 90 |
i1::Int, i2::Int) |
|
| 91 |
cont = foldl (\c x -> Container.add x x c) Container.empty cdata |
|
| 92 |
fn x1 x2 = Container.addTwo x1 x1 x2 x2 |
|
| 93 |
|
|
| 94 |
|
|
| 84 | 95 |
-- Simple instance tests, we only have setter/getters |
| 85 | 96 |
|
| 86 | 97 |
prop_Instance_setIdx inst idx = |
| b/test.hs | ||
|---|---|---|
| 21 | 21 |
, run prop_PeerMap_findMissing |
| 22 | 22 |
] |
| 23 | 23 |
|
| 24 |
runTests "Container" options |
|
| 25 |
[ run prop_Container_addTwo ] |
|
| 26 |
|
|
| 24 | 27 |
runTests "Instance" options |
| 25 | 28 |
[ run prop_Instance_setIdx |
| 26 | 29 |
, run prop_Instance_setName |
Also available in: Unified diff