- You have authored 100% of the contents of your contribution. Among other things that means that you have not used GitHub Copilot or a similar LLM to create all or parts of your contribution! The reason is that the copyright consequences of training an LLM with mostly public code repositories have not been clarified.
- You have the necessary rights for all your contributions. If you act as an employee, you have attained the necessary permissions from your employer to contribute.
- Your contribution will be provided under the project's license.
jqwik currently uses the Eclipse Public License v2.0.
Please add the following lines to your pull request description:
---
I hereby agree to the terms of the jqwik Contributor Agreement._Work in progress but nevertheless strictly enforced.
Using .editorconfig will simplify your life when formatting jqwik code.
Use only wildcard imports.
Use jqwik itself for all tests and properties.
Use AssertJ for non-trivial assertions.
Use @ForAll Random random parameter if you need a random value.