maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] terminate called after throwing an instance of 'std::bad_alloc'

From: rza AT Cs.Nott.AC.UK
To: maude-help AT peepal.cs.uiuc.edu
Subject: [Maude-help] terminate called after throwing an instance of 'std::bad_alloc'
Date: 07 Jul 2009 15:20:38 +0100
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Source-info: From (or Sender) name not authenticated.

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