Cleanup

input-output-hk · Nov 29, 2022 · d8a10ab · d8a10ab
1 parent cca54c7
commit d8a10ab
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs
@@ -71,9 +71,6 @@ healthyCloseTx =
 healthyCloseUpperBoundSlotNo :: SlotNo
 healthyCloseUpperBoundSlotNo = arbitrary `generateWith` 42
 
-healthyCloseLowerBoundSlotNo :: SlotNo -> SlotNo
-healthyCloseLowerBoundSlotNo n = arbitrary `suchThat` (< n) `generateWith` 42
-
 healthyClosingSnapshot :: ClosingSnapshot
 healthyClosingSnapshot =
   CloseWithConfirmedSnapshot

diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -290,8 +290,7 @@ checkClose ctx headContext parties initialUtxoHash snapshotNumber closedUtxoHash
               , utxoHash = initialUtxoHash
               , contestationDeadline = makeContestationDeadline cperiod ctx
               }
-       in traceIfFalse "s == 0" $
-            checkHeadOutputDatum ctx expectedOutputDatum
+       in checkHeadOutputDatum ctx expectedOutputDatum
     | snapshotNumber > 0 =
       let expectedOutputDatum =
             Closed
@@ -300,9 +299,8 @@ checkClose ctx headContext parties initialUtxoHash snapshotNumber closedUtxoHash
               , utxoHash = closedUtxoHash
               , contestationDeadline = makeContestationDeadline cperiod ctx
               }
-       in traceIfFalse "s > 0" $
-            verifySnapshotSignature parties snapshotNumber closedUtxoHash sig
-              && checkHeadOutputDatum ctx expectedOutputDatum
+       in verifySnapshotSignature parties snapshotNumber closedUtxoHash sig
+            && checkHeadOutputDatum ctx expectedOutputDatum
     | otherwise = traceError "negative snapshot number"
 
   cp = fromMilliSeconds (milliseconds cperiod)