maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
Re: [Maude-help] terminate called after throwing an instance of 'std::bad_alloc'
Chronological Thread
- From: Steven Eker <eker AT csl.sri.com>
- To: maude-help AT peepal.cs.uiuc.edu
- Cc: maude-help AT peepal.cs.uiuc.edu, rza AT cs.nott.ac.uk
- Subject: Re: [Maude-help] terminate called after throwing an instance of 'std::bad_alloc'
- Date: Tue, 7 Jul 2009 14:54:18 -0700
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
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
- [Maude-help] terminate called after throwing an instance of 'std::bad_alloc', rza, 07/07/2009
- Re: [Maude-help] terminate called after throwing an instance of 'std::bad_alloc', Steven Eker, 07/07/2009
Archive powered by MHonArc 2.6.16.