@@ -115,7 +115,7 @@ import Hydra.Node.DepositPeriod (DepositPeriod (..))
115
115
import Hydra.Options (CardanoChainConfig (.. ), ChainBackendOptions (.. ), DirectOptions (.. ), RunOptions (.. ), startChainFrom )
116
116
import Hydra.Tx (HeadId , IsTx (balance ), Party , txId )
117
117
import Hydra.Tx.ContestationPeriod qualified as CP
118
- import Hydra.Tx.Deposit (capUTxO )
118
+ import Hydra.Tx.Deposit (capUTxO , filterAssets )
119
119
import Hydra.Tx.Utils (dummyValidatorScript , verificationKeyToOnChainId )
120
120
import HydraNode (
121
121
HydraClient (.. ),
@@ -1340,13 +1340,14 @@ canDepositPartially tracer workDir blockTime backend hydraScriptsTxId =
1340
1340
1341
1341
-- Get some L1 funds
1342
1342
(walletVk, walletSk) <- generate genKeyPair
1343
-
1344
- tokensUTxO <- generate (genUTxOWithAssetsSized 2 (Just $ PolicyId $ CAPI. hashScript $ CAPI. PlutusScript dummyMintingScript))
1343
+ tokensUTxO <- generate (genUTxOWithAssetsSized 8 (Just $ PolicyId $ CAPI. hashScript $ CAPI. PlutusScript dummyMintingScript))
1345
1344
let assetsToValue = foldMap ((mempty <> ) . uncurry policyAssetsToValue) . Map. toList
1346
1345
let totalTokenValue = UTxO. totalValue tokensUTxO
1347
1346
let tokenAssets = valueToPolicyAssets totalTokenValue
1348
1347
let tokenAssetValue = assetsToValue tokenAssets
1349
- let partialTokenAssets = Map. map (\ (CAPI. PolicyAssets policyAssetMap) -> CAPI. PolicyAssets $ Map. filter (> 20 ) policyAssetMap) tokenAssets
1348
+ let quantityMoreThan20 = (> 20 )
1349
+ let partialTokenAssets = Map. map (\ (CAPI. PolicyAssets policyAssetMap) -> CAPI. PolicyAssets $ Map. filter quantityMoreThan20 policyAssetMap) tokenAssets
1350
+ let tokenDiff = filterAssets tokenAssets (Map. toList partialTokenAssets)
1350
1351
let partialTokenAssetValue = assetsToValue partialTokenAssets
1351
1352
let tokenAssetValueWithoutAda = assetsToValue $ valueToPolicyAssets partialTokenAssetValue
1352
1353
let seedAmount = 5_000_000
@@ -1385,7 +1386,10 @@ canDepositPartially tracer workDir blockTime backend hydraScriptsTxId =
1385
1386
output " CommitFinalized" [" headId" .= headId, " depositTxId" .= getTxId (getTxBody tx)]
1386
1387
1387
1388
getSnapshotUTxO n1 `shouldReturn` expectedDeposit
1388
-
1389
+ -- check that user balance balance contains the change from the commit tx
1390
+ (balance <$> Backend. queryUTxOFor backend QueryTip walletVk)
1391
+ `shouldReturn` lovelaceToValue (seedAmount + seedAmount - commitAmount)
1392
+ <> tokenDiff
1389
1393
1390
1394
send n2 $ input " Close" []
1391
1395
0 commit comments