Skip to content

[Contracts] stream_contract/README.md does not document how to run the fuzz tests locally #1014

Description

@grantfox-oss

Join our community: https://t.me/+DOylgFv1jyJlNzM0

Why this matters

contracts/stream_contract/README.md documents the contract's public API but has no section explaining how to run the fuzz/property tests referenced in test.rs (test_fuzz_withdrawn_never_exceeds_deposited, test_fuzz_pause_resume_maintains_active_state), which makes it harder for contributors to extend fuzz coverage.

Acceptance criteria

  • Add a 'Running fuzz tests' section with the exact cargo test command
  • Mention any environment variables that control fuzz iteration count, if applicable

Files to touch

  • contracts/stream_contract/README.md

Out of scope

Does not add new fuzz tests, documentation only.

Metadata

Metadata

Assignees

Labels

Stellar WaveIssues in the Stellar wave programcontractsSmart contract related tasksdocsDocumentationgood first issueGood for newcomers

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions