forge-fuzz-testing

To write property-based fuzz tests in Foundry, you define test functions that accept parameters and use the built-in fuzzer to automatically generate random inputs, exposing edge-case bugs in your Solidity smart contracts. This Skill automates configuring these fuzz tests and applying input constraints.

Invariant testing validates that smart contracts maintain expected state conditions across sequences of random interactions. This Skill applies Foundry invariant testing patterns and fixture-driven scenarios to verify arithmetic safety and ensure contract behavior holds under varied inputs.

You constrain random inputs in Foundry fuzz tests by applying vm.assume to filter out invalid values and bound to restrict parameters to specific ranges. This Skill automates the configuration of these input constraints for systematic property-based testing.

Yes, this Skill satisfies fuzz configuration and fixture-driven scenarios for Foundry tests. It automates the setup required to execute property-based and invariant tests across your Solidity contracts.

The best way to automate fuzz and invariant testing is to configure Foundry's built-in fuzzer with proper test fixtures and input constraints. This Skill automates that setup, allowing you to run forge test to systematically exercise inputs and reveal edge-case bugs.

Use constraint-driven fuzz testing when you need to systematically exercise varied inputs and validate contract behavior under edge-case conditions. This Skill applies property-based testing patterns to reveal arithmetic safety issues and state transition bugs that standard unit tests might miss.