maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] intermediate states

From: Marc Boyer <Marc.Boyer AT onera.fr>
To: danielomarromero AT gmail.com
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] intermediate states
Date: Wed, 02 Jun 2010 14:52:29 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Daniel Romero a écrit :

Hello all
Besides, the intermediate states are shown when we use the commands
"set trace on" and "set trace whole on", but It is not possible to
access to this trace (at least, I don't know how).

What did you mean by "accessing to this trace".
Maude prints the trace in the shell, and you can redirect it into
a file with shell redirections ( > , | , tee ).

Marc Boyer
--
Marc Boyer, Ingenieur de recherche ONERA
Tel: (33) 5.62.25.26.36 DTIM
Fax: (33) 5.62.25.26.52 2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/ 31055 TOULOUSE Cedex 4

[Maude-help] intermediate states, Daniel Romero, 06/02/2010
- Re: [Maude-help] intermediate states, Marc Boyer, 06/02/2010
  - Re: [Maude-help] intermediate states, Daniel Romero, 06/02/2010