RequirementMachine: Bump default -requirement-machine-depth-limit from 10 to 12

This commit is contained in:
Slava Pestov
2022-01-27 16:16:34 -05:00
parent d9b9afebd4
commit 33baf77506

View File

@@ -509,7 +509,7 @@ namespace swift {
/// Maximum term length for requirement machine Knuth-Bendix completion
/// algorithm.
unsigned RequirementMachineDepthLimit = 10;
unsigned RequirementMachineDepthLimit = 12;
/// Enable the new experimental protocol requirement signature minimization
/// algorithm.