maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] (no subject)

From: Manel Ben <isold AT live.fr>
To: <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] (no subject)
Date: Wed, 4 May 2011 18:34:03 +0100
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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???

[Maude-help] (no subject), Manel Ben, 05/04/2011
- Re: [Maude-help] (no subject), Steven Eker, 05/04/2011
- <Possible follow-up(s)>
- [Maude-help] (no subject), Manel Ben, 05/05/2011
- [Maude-help] (no subject), Manel Ben, 05/13/2011
  - Re: [Maude-help] (no subject), Steven Eker, 05/13/2011