This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Contract model sanity check property #114

Merged

sjoerdvisscher merged 1 commit into IntersectMBO:main from Quviq:PR-model-sanity-check

Nov 22, 2021

Contributor

UlfNorell commented Nov 15, 2021

Checking that balances sometimes change.

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          add property to sanity check model

54907c4

checking that balances sometimes change

UlfNorell force-pushed the PR-model-sanity-check branch from dd26914 to 54907c4 Compare

November 15, 2021 15:30

sjoerdvisscher approved these changes

View reviewed changes

sjoerdvisscher merged commit a6868cd into IntersectMBO:main

MaximilianAlgehed deleted the PR-model-sanity-check branch

February 16, 2022 14:32

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

Labels

None yet