Cairo Testing

Provides Cairo smart-contract testing strategy with progressive references for snforge unit, integration, fuzz, and fork tests.

cartridge-gg bcdd706 4 files · 11.5 KB Updated

File contents

Cairo Testing

Use this entrypoint to choose test scope and sequence, then load specific patterns from references.

When to Use

  • Building unit, integration, fuzz, or fork tests.
  • Designing regression tests for known findings.
  • Validating event and failure semantics.

When NOT to Use

  • Contract architecture decisions (cairo-contract-authoring).
  • Performance tuning (cairo-optimization).
  • Deployment operations (cairo-toolchain).

Quick Start

  1. Add unit tests for all state-mutating selectors.
  2. Add negative tests for auth/input failures.
  3. Add at least one fuzz/property test for core invariants.
  4. Convert fixed findings into permanent regression tests.
  5. Run cairo-auditor; fix or explicitly triage/document new findings first, then add regression tests before merge.

Workflow

  • Main testing flow: default workflow

References

  • Detailed testing reference: legacy reference
  • Module index: references index
  • Security regression recipes: ../datasets/distilled/test-recipes/

cartridge-gg/scoundrel/tree/main/.agents/skills/cairo-testing commit bcdd706042

Frequently asked questions

npx skillmds@latest add cartridge-gg/cairo-testing