| Safe Haskell | None |
|---|
Test.Ganeti.Network
- genAddressPool :: Int -> Gen AddressPool
- genBitVector :: Int -> Gen (Vector Bool)
- prop_bitStringToBitVector :: Property
- checkBit :: (Bool, Char) -> Bool
- prop_createAddressPool :: Network -> Property
- prop_addressPoolProperties :: AddressPool -> Property
- allReservationsSubsumesInternal :: AddressPool -> Bool
- allReservationsSubsumesExternal :: AddressPool -> Bool
- bitVectorSubsumes :: Vector Bool -> Vector Bool -> Bool
- checkCounts :: AddressPool -> Bool
- checkIsFull :: AddressPool -> Bool
- checkGetMap :: AddressPool -> Bool
- testNetwork :: Test
Generators and arbitrary instances
genAddressPool :: Int -> Gen AddressPoolSource
genBitVector :: Int -> Gen (Vector Bool)Source
Test cases
prop_bitStringToBitVector :: PropertySource
prop_createAddressPool :: Network -> PropertySource
prop_addressPoolProperties :: AddressPool -> PropertySource
allReservationsSubsumesInternal :: AddressPool -> BoolSource
allReservationsSubsumesExternal :: AddressPool -> BoolSource
bitVectorSubsumes :: Vector Bool -> Vector Bool -> BoolSource
checkCounts :: AddressPool -> BoolSource
checkIsFull :: AddressPool -> BoolSource
checkGetMap :: AddressPool -> BoolSource
testNetwork :: TestSource