This project provides an example of stateful unit testing with and without jqwik.
This project has been migrated to Gradle while maintaining Maven compatibility. See doc/GRADLE-MIGRATION.md for complete migration details and command reference.
# Run tests (including jqwik property-based tests)
./gradlew test
# Run tests with coverage verification
./gradlew check