Pitest uses the default jqwik configuration
martinmladenov opened this issue · 0 comments
martinmladenov commented
PR #181 sets certain configuration options to improve jqwik performance. However, those options don't seem to apply when running Pitest mutants. This should be investigated.