Skip to content

Fuzz seed corpus plus Makefile make fuzz actually executing tests #331

Description

@miss-yusrah

Complexity: High (200 points)

Why this matters
Make fuzz is the contributor entry point and currently a no-op. Seeds make failures reproducible.

Problem
Makefile fuzz target does not run tests. No FUZZ_SEEDS. REGISTRY_INVARIANTS.md is fiction until this lands (compose with the property-fuzz issue; this one is the corpus + make target plumbing).

What "done" looks like

  • make fuzz runs non-zero tests.
  • Seed files or env FUZZ_SEEDS.
  • README accurate.
  • If property tests already exist, this issue is wiring + seeds only — don't duplicate.

Scope

  • In: Makefile + seeds + README/invariants truth.
  • Out: AFL on WASM (probably overkill).

Guidelines

  • Key files: Makefile, README.md, docs/REGISTRY_INVARIANTS.md
  • Watch for: Empty target, timeout, duplicate test names.
  • Constraints: Must execute in CI or documented nightly. Not echo skipped.
  • Validate: make fuzz

PR must include

  • Working make fuzz
  • Seeds
  • Docs match

Metadata

Metadata

Labels

Stellar WaveIssues in the Stellar wave program

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions