Paul Huebner

Facing the exact same issue. Did you/anyone else find a solution?

Yup, it's on the platform. I'm not sure what you mean by configured, but when we mix in "regular" `@Test` units from JUnit5 then these get picked up. As far...

I found a fix. By default jqwik includes its engine as a runtime only dependency. It did not end up in PIT's `ReportOption`'s `classPathElements` for us. Ensuring that `jqwik-engine-X.X.X.jar` was...

> Mutable static fields in JUnit tests are allows a rich source of test order dependencies and should be avoided. The default JUnit model is to create an instance of...

The issue is definitely mainly the test code, which smells. However, I feel like perhaps this could perhaps be a good point for the FAQ? I'm thinking something like "My...

Still doesn't work, added the following to the pom.xml: http://pastebin.com/uKAXNp6d

Sorry for the delayed reply, I've moved over to Gradle now and I thought it'd give it a shot, so using a manual jar is a hastle. Is it still...

From a static analysis viewpoint, it's quite cumbersome to replace the right code. I'm not convinced there is an easy solution that will cover all the cases, and in my...

@mauricioaniche some more things: we would also need to update all the images and pipelines. Then, also check the test infrastructure. Furthermore, we would need to decide if we want...

This is [explicitly enabled](https://jqwik.net/docs/current/user-guide.html#seeing-jqwik-reporting-in-gradle-output) in `RunJUnitTestStep.java` line 45. What was the reason for enabling it? Perhaps we could enable/disable depending on where Andy is being run from.