Extra configuration for jqwik

SERG-Delft / andy

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

MIT License

78 stars 23 forks source link

Closed mauricioaniche closed 1 year ago

mauricioaniche commented 1 year ago

We should add the extra configuration jqwik.maxdiscardratio.default = 2.

This will reduce the maximum discard ratio of JQWik. This will help us in quickly rejecting solutions that have bad data generation procedures.

(See #245 as this should also be implemented in pitest)

Zakrok09 commented 1 year ago

Hello, sir!

I would like to work on this.

mauricioaniche commented 1 year ago

It's yours!