You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
The TypeScript checker is currently very slow since it is checking mutants one by one.
Describe the solution you'd like
Improve the typescript checker performance by checking mutants in groups.
Describe alternatives you've considered
We've investigated a lot of alternatives in @danny12321 and @ThierryRietveld 's graduation assignments. Grouping seems to be the best solution.
Additional context
All investigative work is already done, see #3366 for inspiration.
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
The TypeScript checker is currently very slow since it is checking mutants one by one.
Describe the solution you'd like
Improve the typescript checker performance by checking mutants in groups.
Describe alternatives you've considered
We've investigated a lot of alternatives in @danny12321 and @ThierryRietveld 's graduation assignments. Grouping seems to be the best solution.
Additional context
All investigative work is already done, see #3366 for inspiration.
The text was updated successfully, but these errors were encountered: