-
Manuel Pégourié-Gonnard authored
On my machine, that reduces running time from about 30 minutes to less than 10 minutes, while maintaining a good probability of catching the most likely issues in practice.
259b08a5
On my machine, that reduces running time from about 30 minutes to less than 10 minutes, while maintaining a good probability of catching the most likely issues in practice.