Closed fweber144 closed 10 months ago
This PR throws a message when cutting off the search at nterms_max's internal default of (currently) 19.
nterms_max
19
This PR throws a message when cutting off the search at
nterms_max
's internal default of (currently)19
.