QuickTest

Safe HaskellNone

Main

Documentation

prop_decryptEncrypt :: Word8 -> Word64 -> Bool

prop_AESIdempotent :: LargeKey Word64 Word64 -> LargeKey Word64 Word64 -> Bool

prop_unCbcCbc :: Word64 -> Word8 -> [Octet] -> Bool

main :: IO ()