Description
After reinstate_credit_line, borrower can draw again within limit; negative path from non-Defaulted reinstate fails.
Requirements and context
- Align with state machine documentation.
- Event assertions.
Suggested execution
Fork and branch
Fork the repo and create a branch:
git checkout -b test/e2e-reinstate-draw
Implement changes
- Add full scenario to test module.
Test and commit
Run the full test suite, cover edge cases, and include test output plus security notes (assumptions, trust boundaries, failure modes) in the PR description.
Run tests
cargo test -p creditra-credit
Example commit message
test(credit): e2e reinstate then draw
Guidelines
-
Minimum 95% line coverage (cargo llvm-cov as documented in the contracts README).
-
Clear documentation (Rust /// doc comments on public items; update docs/credit.md when behavior changes).
-
Timeframe: 96 hours.
-
Optionally run: cargo llvm-cov --workspace --all-targets --fail-under-lines 95 before merge.
Description
After
reinstate_credit_line, borrower can draw again within limit; negative path from non-Defaulted reinstate fails.Requirements and context
Suggested execution
Fork and branch
Fork the repo and create a branch:
Implement changes
Test and commit
Run the full test suite, cover edge cases, and include test output plus security notes (assumptions, trust boundaries, failure modes) in the PR description.
Run tests
cargo test -p creditra-creditExample commit message
Guidelines
Minimum 95% line coverage (
cargo llvm-covas documented in the contracts README).Clear documentation (Rust
///doc comments on public items; updatedocs/credit.mdwhen behavior changes).Timeframe: 96 hours.
Optionally run:
cargo llvm-cov --workspace --all-targets --fail-under-lines 95before merge.