This repository has been 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 IntersectMBO:main from peter-mlabs:peter-mlabs/fix-exunits-error

peter-mlabs commented Oct 12, 2023

Quick fix for the contract models tutorial. Prior to this, the property test would exceed ex-units and fail.

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Formatting, PNG optimization, etc. are updated
- Important changes are reflected in changelog.d of the affected packages
PR
- Self-reviewed the diff
- Useful pull request description
- Reference the ADR in the PR and reference the PR in the ADR (if revelant)
- Reviewer requested

Peter Dragos added 2 commits

October 12, 2023 12:01


          fix ex-units violation in contract-models tutorial

b88905d


          fix exunits error in Escrow2

7128bbb

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet