Skip to content

Conversation

@jadonamite
Copy link

Description

This PR adds Module 21: Advanced Testing by @jadonamite. It introduces property-based testing (fuzzing) to Clarity projects using the fast-check library.

Content Overview

  • Concept: Moving from "Example-Based" to "Property-Based" verification.
  • Tooling: Integrating fast-check with vitest and simnet.
  • Example: Fuzzing a generic splitter contract to verify fund conservation laws.

Checklist

  • Code snippets use fast-check syntax.
  • Explanation of "Invariants" included.
  • Formatting follows the repository's style guide.

Related Issues

Closes # (If applicable)

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.

1 participant