search

CKS-Systems / manifest

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

Sync audit formal verification #294

Closed brittcyr closed 2 days ago

brittcyr commented 6 days ago

Synced to head

Known issues: idl generation broken ts tests broken

Have not verified if CI for FV works, but wont until this is merged

codecov-commenter commented 6 days ago

Codecov Report

Attention: Patch coverage is 66.32367% with 360 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 78.53% 41 Missing :warning:
programs/manifest/src/state/global.rs 12.50% 14 Missing :warning:
...ams/manifest/src/program/processor/batch_update.rs 94.33% 3 Missing :warning:
...ams/manifest/src/program/processor/global_clean.rs 25.00% 3 Missing :warning:
programs/manifest/src/program/processor/shared.rs 75.00% 3 Missing :warning:
programs/manifest/src/state/utils.rs 60.00% 2 Missing :warning:
lib/src/red_black_tree.rs 0.00% 1 Missing :warning:
...ams/manifest/src/program/processor/global_evict.rs 0.00% 1 Missing :warning:

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

brittcyr commented 5 days ago

Fixed red black tree and removed rules that are expected to fail

brittcyr commented 4 days ago

Shank now fails because Error: Rust Custom Composite IDL type not yet supported