Prompt

Design property-based tests for complex logic.

<complex_logic>
{paste algorithm or business logic}
</complex_logic>

<invariants>
{properties that should always hold}
</invariants>

<edge_cases>
{known edge cases to cover}
</edge_cases>

Create:
1. Property identification
2. Generator strategies
3. Shrinking approaches
4. Oracle functions
5. Integration with existing tests