Synnefo » snf-ganeti

-}

module Ganeti.HTools.QC

    ) where

import Test.QuickCheck

    where _types = pmap::PeerMap.PeerMap

          puniq = PeerMap.accumArray const pmap

    [ run prop_PeerMap_addIdempotent

    , run prop_PeerMap_removeIdempotent

    , run prop_PeerMap_maxElem

          cont = foldl (\c x -> Container.add x x c) Container.empty cdata

          fn x1 x2 = Container.addTwo x1 x1 x2 x2

    [ run prop_Container_addTwo ]

-- Simple instance tests, we only have setter/getters

    in

      run_tx /= "running" && run_tx /= "ERROR_up" ==> run_st == False

    [ run prop_Instance_setIdx

    , run prop_Instance_setName

    , run prop_Instance_setPri

             Instance.pNode i == pdx &&

             Instance.sNode i == rsdx)

    [ run prop_Text_Load_Instance

    ]

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

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

    [ run prop_Node_addPri

    , run prop_Node_addSec

    ]

    -- this should be much lower than the default score in CLI.hs

    in score <= 1e-15

    [ run prop_Score_Zero

    ]