Revision 9f6dcdea Ganeti/HTools/QC.hs

b/Ganeti/HTools/QC.hs
168 168 
-- | Check that an instance add with too high memory or disk will be rejected
169 169 
prop_Node_addPri node inst = (Instance.mem inst >= Node.f_mem node ||
170 170 
                              Instance.dsk inst >= Node.f_dsk node) &&
171 
                             (not $ Node.failN1 node)
171 
                             not (Node.failN1 node)
172 172 
                             ==>
173 173 
                             isNothing(Node.addPri node inst)
174 174 
    where _types = (node::Node.Node, inst::Instance.Instance)
......
178 178 
prop_Node_addSec node inst pdx =
179 179 
    (Instance.mem inst >= (Node.f_mem node - Node.r_mem node) ||
180 180 
     Instance.dsk inst >= Node.f_dsk node) &&
181 
    (not $ Node.failN1 node)
181 
    not (Node.failN1 node)
182 182 
    ==> isNothing(Node.addSec node inst pdx)
183 183 
        where _types = (node::Node.Node, inst::Instance.Instance, pdx::Int)
184 184 

  		












Also available in:
  Unified diff