File tree Expand file tree Collapse file tree 1 file changed +0
-11
lines changed Expand file tree Collapse file tree 1 file changed +0
-11
lines changed Original file line number Diff line number Diff line change @@ -700,17 +700,6 @@ spec =
700
700
update bobEnv ledger (inOpenState threeParties) depositOtherHead
701
701
`shouldBe` Error (NotOurHead {ourHeadId = testHeadId, otherHeadId})
702
702
703
- prop " ignores recoverTx of another head" $ \ otherHeadId -> do
704
- let recoverOtherHead =
705
- observeTx $
706
- OnRecoverTx
707
- { headId = otherHeadId
708
- , recoveredTxId = 1
709
- , recoveredUTxO = utxoRef 1
710
- }
711
- update bobEnv ledger (inOpenState threeParties) recoverOtherHead
712
- `shouldBe` Error (NotOurHead {ourHeadId = testHeadId, otherHeadId})
713
-
714
703
prop " ignores decrementTx of another head" $ \ otherHeadId -> do
715
704
let decrementOtherHead = observeTx $ OnDecrementTx {headId = otherHeadId, newVersion = 1 , distributedUTxO = mempty }
716
705
update bobEnv ledger (inOpenState threeParties) decrementOtherHead
You can’t perform that action at this time.
0 commit comments