Pitest uses the default jqwik configuration

SERG-Delft / andy

Andy assesses student's test code. It's used in CSE1110, TU Delft.

MIT License

78 stars 23 forks source link

Pitest uses the default jqwik configuration #245

Open martinmladenov opened 1 year ago

martinmladenov commented 1 year ago

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.