|
|
b02807ebf4
|
feat: add property-based testing framework
Implements property-based testing infrastructure:
stdlib/testing.lux:
- Generators: genInt, genIntList, genString, genBool, etc.
- Shrinking helpers: shrinkInt, shrinkList, shrinkString
- Property helpers: isSorted, sameElements
examples/property_testing.lux:
- 10 property tests demonstrating the framework
- Tests for: involution, commutativity, associativity, identity
- 100 iterations per property with random inputs
docs/guide/14-property-testing.md:
- Complete guide to property-based testing
- Generator patterns and common properties
- Best practices and examples
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
|
2026-02-16 04:39:50 -05:00 |
|
