Maude-help mailing list

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

It looks like you are running out of heap. Check your data size and memory 
use 
limits:

ulimit -a

in bash or:

limit

in tcsh. Depending on your system configuration you may be able to change 
them.

Steven

On Tuesday 07 July 2009 07:20, 
rza AT cs.nott.ac.uk
 wrote:
> Dear Maude user/developer,
>
>   When I am using rew command in my system model, I see the following :
>
>     rew [8] "initial-state" works fine
>
>     but when I am using
>
>     rew [9] "initial-state"
>      it gives the following error
>
>   terminate called after throwing an instance of 'std::bad_alloc'
>   what():  St9bad_alloc
>   Aborted
>   -bash-3.2$
>
>  I also see that memory consumption of my system is only 12%, could please
> explain me what is it and how to overcome from such situation?
>
> Best,
>  --Abdur
>
> This message has been checked for viruses but the contents of an attachment
> may still contain software viruses, which could damage your computer
> system: you are advised to perform your own checks. Email communications
> with the University of Nottingham may be monitored as permitted by UK
> legislation.
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help