Revision 5b11f8db htest/Test/Ganeti/Query/Query.hs

b/htest/Test/Ganeti/Query/Query.hs
47 47 
import Ganeti.Query.Node
48 48 
import Ganeti.Query.Query
49 49 

  		





  
  50
  
    
{-# ANN module "HLint: ignore Use camelCase" #-}


  		





  
  51
  
    

  		





  50
  52
  
    
-- * Helpers


  		





  51
  53
  
    

  		





  52
  54
  
    
-- | Checks if a list of field definitions contains unknown fields.


  		





  ......




  77
  79
  
    
prop_queryNode_Unknown :: Property


  		





  78
  80
  
    
prop_queryNode_Unknown =


  		





  79
  81
  
    
  forAll (choose (0, maxNodes) >>= genEmptyCluster) $ \cluster ->


  		





  80
  
  
    
  forAll (arbitrary `suchThat` (`notElem` (Map.keys nodeFieldsMap)))


  		





  
  82
  
    
  forAll (arbitrary `suchThat` (`notElem` Map.keys nodeFieldsMap))


  		





  81
  83
  
    
    $ \field -> monadicIO $ do


  		





  82
  84
  
    
  QueryResult fdefs fdata <-


  		





  83
  85
  
    
    run (query cluster (Query QRNode [field] EmptyFilter)) >>= resultProp


  		












Also available in:
  Unified diff