Actyx / Actyx/banyan

Try out contracts

Open
#60 0 comments 1 reaction 0 assignees View on GitHub
Dominant language
Rust
Stars
42
Forks
6
PR merge metrics
No merged PRs in 30d

Description

The invariants are sometimes a bit hard to know for people not familar with the code base. Maybe we can try out https://crates.io/crates/contracts

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading the codebase areas that define the invariants and review the contracts crate linked in the issue. The issue names no files, tests, or entry points, so first determine which invariants should be expressed and where; done requires a decided, working evaluation of whether contracts improves their discoverability.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
developer-experience
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.