Skip to content

Set up automated contract fuzz testing pipeline#444

Open
TUPM96 wants to merge 1 commit into
Smartdevs17:mainfrom
TUPM96:codex/contract-fuzzing-438
Open

Set up automated contract fuzz testing pipeline#444
TUPM96 wants to merge 1 commit into
Smartdevs17:mainfrom
TUPM96:codex/contract-fuzzing-438

Conversation

@TUPM96
Copy link
Copy Markdown

@TUPM96 TUPM96 commented May 25, 2026

Closes #438

Summary

  • Added a cargo-fuzz package under contracts/fuzz with subscription lifecycle, pricing, and rate-limit fuzz targets.
  • Built the fuzz harness against the real Soroban proxy, storage, token, and subscription contracts with seed corpora and invariant checks.
  • Replaced the fuzz CI workflow with nightly cargo-fuzz, 1800-second runs per target, scheduled/manual triggers, corpus generation, and artifact upload.
  • Added crash triage docs/script plus a deterministic subscription smoke replay test.

Validation

  • cargo +nightly test --manifest-path contracts/subscription/Cargo.toml --test fuzz_smoke -- --nocapture
  • cargo +nightly fuzz list
  • cargo check --manifest-path contracts/fuzz/Cargo.toml --bins
  • git diff --cached --check

Note: existing subscription gas modules still emit warnings; this PR leaves those pre-existing warnings untouched.

Copilot AI review requested due to automatic review settings May 25, 2026 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set up automated contract fuzz testing pipeline

1 participant