Handle the case of multiple UTxO for same key

cardano-scaling · Sep 28, 2022 · 0730400 · 0730400
1 parent 322d42a
commit 0730400
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/hydra-node/test/Hydra/Model.hs b/hydra-node/test/Hydra/Model.hs
@@ -277,9 +277,7 @@ instance StateModel WorldState where
   precondition WorldState{hydraState = Initial{}} Abort{} =
     True
   precondition WorldState{hydraState = Open{offChainState}} (NewTx _ tx) =
-    case List.lookup (from tx) (confirmedUTxO offChainState) of
-      Just v -> v == value tx
-      Nothing -> False
+    (from tx, value tx) `List.elem` confirmedUTxO offChainState
   precondition WorldState{hydraState = Open{}} Stop =
     True
   precondition _ Wait{} =