Revision 942a9a6a htest/Test/Ganeti/HTools/Text.hs

b/htest/Test/Ganeti/HTools/Text.hs
194 194 
         in case Text.parseData saved >>= Loader.mergeData [] [] [] [] of
195 195 
              Bad msg -> failTest $ "Failed to load/merge: " ++ msg
196 196 
              Ok (Loader.ClusterData gl2 nl2 il2 ctags2 cpol2) ->
197 
                ctags ==? ctags2 .&&.
198 
                Types.defIPolicy ==? cpol2 .&&.
199 
                il' ==? il2 .&&.
200 
                defGroupList ==? gl2 .&&.
201 
                nl' ==? nl2
197 
                conjoin [ ctags ==? ctags2
198 
                        , Types.defIPolicy ==? cpol2
199 
                        , il' ==? il2
200 
                        , defGroupList ==? gl2
201 
                        , nl' ==? nl2
202 
                        ]
202 203 

  		





  203
  204
  
    
testSuite "HTools/Text"


  		





  204
  205
  
    
            [ 'prop_Load_Instance


  		












Also available in:
  Unified diff