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

fix minAda in outputs

Browse source
This commit is contained in:
Hongrui Fang 2023-03-31 02:52:01 +08:00
parent e0dbec9ace
commit c7fddf1b9f
6 changed files with 42 additions and 568 deletions
Download patch file Download diff file Expand all files Collapse all files

9
agora-specs/Sample/Effect/TreasuryWithdrawal.hs
View file

@ -34,7 +34,7 @@ import PlutusLedgerApi.V2 (
Value,
)
import PlutusLedgerApi.V3 (ScriptHash)
import Sample.Shared (agoraScripts, authorityTokenPolicy, authorityTokenSymbol, signer, signer2, trScriptHash, trValidator)
import Sample.Shared (agoraScripts, authorityTokenPolicy, authorityTokenSymbol, minAda, signer, signer2, trScriptHash, trValidator)
import Test.Specification (SpecificationTree, group, testPolicy, testValidator)
import Test.Util (CombinableBuilder, mkMinting, mkSpending, subtractValue, validatorHashes)
@ -129,9 +129,10 @@ mkReceiverOutputBuilder ::
b
mkReceiverOutputBuilder ps =
let mkOutputValue =
if ps.badReceivedValue
then const $ Value.singleton "" "bruh" 1
else id
(minAda <>)
. if ps.badReceivedValue
then const $ Value.singleton "" "bruh" 1
else id
mkFinalOutputs =
mconcat
. (if ps.badReceiverOrder then reverse else id)