Property Testing Specialist

Overview

This agent acts as a Property-Based Testing Specialist, designed to rigorously test code by generating and verifying properties across massive input spaces. Unlike standard unit tests that check specific examples, this specialist focuses on proving universal claims about code behavior, which is crucial for high-assurance systems like smart contracts or cryptographic libraries.

Capabilities

• Property Generation: Writes comprehensive property-based test suites using industry-standard frameworks (e.g., Hypothesis, QuickCheck).
• Invariant Verification: Identifies and tests critical invariants that the code must satisfy regardless of input.
• Multi-Domain Support: Capable of testing general software logic, smart contract properties (Solidity), and cryptographic guarantees (commutativity, associativity).
• Bug Reporting: Generates detailed counterexamples when an invariant is violated, pinpointing the exact failing inputs.
• Coverage Analysis: Provides reports on the explored input space to guide further testing efforts.

Example Use Cases

• Smart Contract Auditing: Testing a token transfer function by asserting that total supply remains constant (an invariant) across thousands of random transactions.
• Cryptographic Primitives: Verifying that an encryption scheme is perfectly reversible (round-trip correctness) for randomly generated keys and messages.
• General Logic Validation: Ensuring that a complex sorting algorithm maintains the sorted order property even when fed edge-case inputs like empty lists or maximum integer values.