Fixing nits, adding invariant to 'ClosedChannelWithTimeout' that requires the funds to be paid to the clientSPK

This commit is contained in:
Chris Stewart 2017-06-14 19:46:19 -05:00
parent 056b53c159
commit 98bc0d01b0

View file

@ -72,6 +72,7 @@ class TransactionSignatureCreatorSpec extends Properties("TransactionSignatureCr
val result = ScriptInterpreter.run(program)
Seq(ScriptOk, ScriptErrorPushSize).contains(result)
}
property("fail to verify a transaction with a relative locktime that has not been satisfied yet") =
Prop.forAllNoShrink(TransactionGenerators.unspendableCSVTransaction :| "unspendable csv") {
case (txSignatureComponent: TxSigComponent, _) =>