Revision 037762a9 htest/Test/Ganeti/Query/Filter.hs
b/htest/Test/Ganeti/Query/Filter.hs | ||
---|---|---|
181 | 181 |
prop_makeSimpleFilter :: Property |
182 | 182 |
prop_makeSimpleFilter = |
183 | 183 |
forAll (resize 10 $ listOf1 genName) $ \names -> |
184 |
forAll (resize 10 $ listOf1 arbitrary) $ \ids -> |
|
184 | 185 |
forAll genName $ \namefield -> |
185 | 186 |
conjoin [ printTestCase "test expected names" $ |
186 |
makeSimpleFilter namefield names ==?
|
|
187 |
makeSimpleFilter namefield (map Left names) ==?
|
|
187 | 188 |
OrFilter (map (EQFilter namefield . QuotedString) names) |
189 |
, printTestCase "test expected IDs" $ |
|
190 |
makeSimpleFilter namefield (map Right ids) ==? |
|
191 |
OrFilter (map (EQFilter namefield . NumericValue) ids) |
|
188 | 192 |
, printTestCase "test empty names" $ |
189 | 193 |
makeSimpleFilter namefield [] ==? EmptyFilter |
190 | 194 |
] |
Also available in: Unified diff