Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.Chain.Direct.ContractSpec
Documentation
prop_serializingCommitRoundtrip :: Property Source #
prop_consistentOnAndOffChainHashOfTxOuts :: Property Source #
prop_consistentHashPreSerializedCommits :: Property Source #
prop_hashingCaresAboutOrderingOfTxOuts :: Property Source #
prop_verifyOffChainSignatures :: Property Source #
prop_verifySnapshotSignatures :: Property Source #