search

CKS-Systems / manifest

The Unlimited Orderbook
https://www.manifest.trade
GNU General Public License v3.0
32 stars 17 forks source link

Certora's formal verification effort for Manifest #293

Closed brittcyr closed 9 hours ago

brittcyr commented 3 days ago

DO NOT SUBMIT creating pull request to make it easier to see what needs to be done in the merge

codecov-commenter commented 3 days ago

Codecov Report

Attention: Patch coverage is 65.56291% with 364 lines in your changes missing coverage. Please review. Files with missing lines Patch % Lines
programs/manifest/src/state/market_helpers.rs 16.80% 292 Missing :warning:
programs/manifest/src/state/market.rs 80.61% 38 Missing :warning:
...rograms/manifest/src/program/processor/withdraw.rs 71.79% 33 Missing :warning:
...ams/manifest/src/program/processor/batch_update.rs 97.91% 1 Missing :warning:

:loudspeaker: Thoughts on this report? Let us know!