diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index de6c2c8ed8..04157b10bb 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -712,8 +712,18 @@ </thead> <tbody> <row> + <entry><option>-fconstraint-solver-iterations=</option><replaceable>n</replaceable></entry> + <entry>Set the iteration limit for the type-constraint solver. + The default limit is 4. Typically one iteration + suffices; so please yell if you find you need to set + it higher than the default. Zero means infinity. </entry> + <entry>dynamic</entry> + <entry></entry> + </row> + <row> <entry><option>-freduction-depth=</option><replaceable>n</replaceable></entry> - <entry>set the <link linkend="undecidable-instances">limit for type simplification</link>. Default is 200.</entry> + <entry>Set the <link linkend="undecidable-instances">limit for type simplification</link>. + Default is 200; zero means infinity.</entry> <entry>dynamic</entry> <entry></entry> </row> |