|
|
|---|
|
|
|
|---|
maximum length of the subgoal stack
General Form: (subgoal-loop-limits (w state))
See set-subgoal-loop-limits for a discussion of how you can set this parameter, which can be used to detect simple looping by the prover and to cut off some forms of infinite looping.