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