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
As a special case, if the user configures a DFA size limit of 0, then we
should never try to use it. This avoids a bit of thrashing where the DFA
tries to senselessly run before spilling over to the NFA.
0 commit comments