Synnefo » snf-ganeti » ganeti-local

      (_, nlst) = Loader.assignIndices namelst

  in nlst

-- | Checks if a node is "big" enough.

isNodeBig :: Node.Node -> Int -> Bool

isNodeBig node size = Node.availDisk node > size * Types.unitDsk

                      , "OP_INSTANCE_FAILOVER"

                      , "OP_INSTANCE_MIGRATE"

                      ]

instance Arbitrary Jobs.OpStatus where

  arbitrary = elements [minBound..maxBound]

instance Arbitrary a => Arbitrary (Types.OpResult a) where

  arbitrary = arbitrary >>= \c ->

-- * Actual tests

-- not contain commas, then join+split should be idempotent.

prop_Utils_commaJoinSplit =

  forAll (arbitrary `suchThat`

  Utils.sepSplit ',' (Utils.commaJoin lst) ==? lst

-- | Split and join should always be idempotent.

                  -> [Int]    -- ^ List of True values

                  -> Gen Prop -- ^ Test result

prop_Utils_select def lst1 lst2 =

  where expectedresult = Utils.if' (null lst2) def (head lst2)

        flist = map (\e -> (False, e)) lst1

        tlist = map (\e -> (True, e)) lst2

-- | Test basic select functionality with undefined default

prop_Utils_select_undefd :: [Int]            -- ^ List of False values

                         -> NonEmptyList Int -- ^ List of True values

                         -> Gen Prop         -- ^ Test result

prop_Utils_select_undefd lst1 (NonEmpty lst2) =

  where flist = map (\e -> (False, e)) lst1

        tlist = map (\e -> (True, e)) lst2

-- | Test basic select functionality with undefined list values

prop_Utils_select_undefv :: [Int]            -- ^ List of False values

-- ** Container tests

prop_Container_addTwo cdata i1 i2 =

  fn i1 i2 cont == fn i2 i1 cont &&

  fn i1 i2 cont == fn i1 i2 (fn i1 i2 cont)

  forAll (vector cnt) $ \ names ->

  (length . nub) (map fst names ++ map snd names) ==

  length names * 2 &&

  let nl = makeSmallCluster node cnt

      nodes = Container.elems nl

      nodes' = map (\((name, alias), nn) -> (Node.idx nn,

      target = snd (nodes' !! fidx)

  in Container.findByName nl' (Node.name target) == Just target &&

     Container.findByName nl' (Node.alias target) == Just target &&

testSuite "Container"

            [ 'prop_Container_addTwo

           -- this is not related to rMem, but as good a place to

           -- test as any

           inst_idx `elem` Node.sList a_ab &&

       x -> printTestCase ("Failed to add/remove instances: " ++ show x) False

-- | Check mdsk setting.

        && Node.availDisk node > 0

        && Node.availMem node > 0

        ==>

  in case Cluster.genAllocNodes defGroupList nl 2 True >>=

     Cluster.tryAlloc nl il inst' of

       Types.Bad _ -> False

        && not (Node.failN1 node)

        && isNodeBig node 4

        ==>

  in case Cluster.genAllocNodes defGroupList nl 2 True >>=

     Cluster.tryAlloc nl il inst' of

       Types.Bad _ -> False