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

b/htest/Test/Ganeti/HTools/Simu.hs
82 82 
             nidx = map Node.idx nodes
83 83 
             mdc_out = map (\n -> (Node.tMem n, Node.tDsk n, Node.tCpu n,
84 84 
                                   Node.fMem n, Node.fDsk n)) nodes
85 
         in
86 
         Container.size gl ==? ngroups .&&.
87 
         Container.size nl ==? totnodes .&&.
88 
         Container.size il ==? 0 .&&.
89 
         length tags ==? 0 .&&.
90 
         ipol ==? Types.defIPolicy .&&.
91 
         nidx ==? [1..totnodes] .&&.
92 
         mdc_in ==? mdc_out .&&.
93 
         map Group.iPolicy (Container.elems gl) ==?
94 
             replicate ngroups Types.defIPolicy
85 
         in conjoin [ Container.size gl ==? ngroups
86 
                    , Container.size nl ==? totnodes
87 
                    , Container.size il ==? 0
88 
                    , length tags ==? 0
89 
                    , ipol ==? Types.defIPolicy
90 
                    , nidx ==? [1..totnodes]
91 
                    , mdc_in ==? mdc_out
92 
                    , map Group.iPolicy (Container.elems gl) ==?
93 
                          replicate ngroups Types.defIPolicy
94 
                    ]
95 95 

  		





  96
  96
  
    
testSuite "HTools/Simu"


  		





  97
  97
  
    
            [ 'prop_Load


  		












Also available in:
  Unified diff