| Safe Haskell | None |
|---|
Test.Ganeti.Network
Contents
Synopsis
- prop_addressPoolProperties :: Network -> Property
- subsetMaybe :: Maybe BitArray -> Maybe BitArray -> Bool
- allReservationsSubsumesInternal :: Network -> Bool
- allReservationsSubsumesExternal :: Network -> Bool
- checkCounts :: Network -> Property
- checkIsFull :: Network -> Property
- checkGetMap :: Network -> Property
- testNetwork :: Test
Test cases
prop_addressPoolProperties :: Network -> Property Source #
Check that the address pool's properties are calculated correctly.
subsetMaybe :: Maybe BitArray -> Maybe BitArray -> Bool Source #
Checks for the subset relation on Maybe values.
allReservationsSubsumesInternal :: Network -> Bool Source #
Check that all internally reserved ips are included in allReservations.
allReservationsSubsumesExternal :: Network -> Bool Source #
Check that all externally reserved ips are included in allReservations.
checkCounts :: Network -> Property Source #
Check that the counts of free and reserved ips add up.
checkIsFull :: Network -> Property Source #
Check that the detection of a full network works correctly.
checkGetMap :: Network -> Property Source #
Check that the map representation of the network corresponds to the network's reservations.
testNetwork :: Test Source #