Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

fix the broken test case

Browse source
This commit is contained in:
Hongrui Fang 2022-06-15 19:30:07 +08:00
parent 12ab066e23
commit 448e9e2c1d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora-specs/Spec/Effect/TreasuryWithdrawal.hs
View file

@ -155,8 +155,8 @@ specs =
] ]
datum2 = datum2 =
TreasuryWithdrawalDatum TreasuryWithdrawalDatum
[ (head users, asset1 4 <> asset2 5) [ (head users, asset2 5 <> asset1 4)
, (users !! 1, asset1 2 <> asset2 1) , (users !! 1, asset2 1 <> asset1 2)
, (users !! 2, asset1 1) , (users !! 2, asset1 1)
] ]
[ head treasuries [ head treasuries