Synnefo » snf-ganeti

-- | Check that an instance add with too high memory or disk will be

-- rejected.

prop_Node_addPriFM node inst = Instance.mem inst >= Node.fMem node &&

                               ==>

                               case Node.addPri node inst'' of

                                 Types.OpFail Types.FailMem -> True

          inst'' = inst' { Instance.dsk = Instance.dsk inst }

prop_Node_addPriFC node inst (Positive extra) =

        case Node.addPri node inst'' of

          Types.OpFail Types.FailCPU -> True

          _ -> False

-- | Check that an instance add with too high memory or disk will be

-- rejected.

prop_Node_addSec node inst pdx =

     Instance.dsk inst >= Node.fDsk node) &&

    not (Node.failN1 node)

    ==> isFailure (Node.addSec node inst pdx)

        where _types = (node::Node.Node, inst::Instance.Instance, pdx::Int)

-- | Checks for memory reservation changes.

prop_Node_rMem inst =

    forAll (arbitrary `suchThat` ((> Types.unitMem) . Node.fMem)) $ \node ->

    -- ab = auto_balance, nb = non-auto_balance

    -- we use -1 as the primary node of the instance

              , 'prop_Node_addPriFD

              , 'prop_Node_addPriFC

              , 'prop_Node_addSec

              , 'prop_Node_rMem

              , 'prop_Node_setMdsk

              , 'prop_Node_tagMaps_idempotent