Improve jqwik configs to speed up execution

SERG-Delft / andy

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

MIT License

78 stars 22 forks source link

Closed mauricioaniche closed 1 year ago

mauricioaniche commented 1 year ago

This MR changes the following configs:

jqwik.tries.default: Instead of running 1000 data points, we just run 100. Enough for teaching purposes.
jqwik.shrinking.default: If it finds a bug, no need for shrinking, we want to return as early as possible.