Property-based testing examples using jqwik - View it on GitHub