I am trying to use the junit-quickcheck property testing tool together with Pirtest 1.6.4. However, I am encountering a problem. Pitest doesn't seem to be able to find the tests in my test class.
The message "PIT >> INFO: Found 0 tests" is always returned.
I believe that this problem occurs because the junit-quickcheck tool requires @RunWith (JUnitQuickcheck.class).
Does anyone have a solution to this problem?