Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

On Wednesday 04 May 2011 10:34:03 am Manel Ben wrote:
> Fatal error: stack overflow.
> This can happen because you have an infinite computation, say a runaway
> recursion, or model checking an infinite model. It can also happen because
> the stacksize limit in your environment is set too low for the computation
> you are trying to do. You can find the value of your stacksize with the
> tcsh command 'limit stacksize' or the bash command 'ulimit -s'.
> 
> Depending on your operating system configuration you may be able to
> increase your stacksize with the tcsh command 'unlimit stacksize'
> or the bash command 'ulimit -s unlimited'.
> 
> i havn't ubderstand the problem???
> 

What kind of machine are you running on? Macs have a notoriously small system 
stack. Basically the message is saying the depth of recursive function calls 
in your term rewriting system or (if model checking) the depth of the double 
depth-first search needed to do LTL model checking exceeds the system stack 
size on your machine. This could be because you have an infinite recursion 
happening or you are model checking a model which has an infinite state 
space. 
Or you machine could just have the default system stack size set too low.

Steven