Safe Haskell | None |
---|
- 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 -> PropertySource
subsetMaybe :: Maybe BitArray -> Maybe BitArray -> BoolSource
allReservationsSubsumesInternal :: Network -> BoolSource
allReservationsSubsumesExternal :: Network -> BoolSource
checkCounts :: Network -> PropertySource
checkIsFull :: Network -> PropertySource
checkGetMap :: Network -> PropertySource
testNetwork :: TestSource