Skip to content
This repository was archived by the owner on Dec 2, 2024. It is now read-only.

fix ex-units violation in contract-models tutorial #1109

Open
peter-mlabs wants to merge 2 commits into
base: main
Choose a base branch
from
Open

fix ex-units violation in contract-models tutorial #1109

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b88905d
fix ex-units violation in contract-models tutorial
Oct 12, 2023
7128bbb
fix exunits error in Escrow2
Oct 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion doc/plutus/tutorials/contract-models.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -325,7 +325,9 @@ Running tests and debugging the model

We are finally ready to run some tests! We do still need to define a
*property* that we can call QuickCheck with, but the :hsobj:`Plutus.Contract.Test.ContractModel.Interface.ContractModel`
framework provides a standard one that we can just reuse. So we define
framework provides a standard one that we can just reuse. To run the
test successfully, we must increase the budget of the emulator, so
we define

.. literalinclude:: Escrow.hs
:start-after: START prop_Escrow
Expand Down
4 changes: 3 additions & 1 deletion plutus-use-cases/test/Spec/Tutorial/Escrow1.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -106,7 +106,9 @@ testWallets :: [Wallet]
testWallets = [w1, w2, w3, w4, w5]

prop_Escrow :: Actions EscrowModel -> Property
prop_Escrow = propRunActions_
prop_Escrow = propRunActionsWithOptions options defaultCoverageOptions (\ _ -> pure True)
where
options = defaultCheckOptionsContractModel & increaseTransactionLimits

escrowParams :: EscrowParams d
escrowParams =
Expand Down
5 changes: 3 additions & 2 deletions plutus-use-cases/test/Spec/Tutorial/Escrow2.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -138,8 +138,9 @@ testContract params = selectList [ void $ payEp params


prop_Escrow :: Actions EscrowModel -> Property
prop_Escrow = propRunActions_

prop_Escrow = propRunActionsWithOptions options defaultCoverageOptions (\ _ -> pure True)
where
options = defaultCheckOptionsContractModel & increaseTransactionLimits

escrowParams :: [(Wallet, Integer)] -> EscrowParams d
escrowParams tgts =
Expand Down