maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] How to exclude 'built-in' operators from traces ?

From: Steven Eker <eker AT csl.sri.com>
To: Marc Boyer <Marc.Boyer AT enseeiht.fr>, maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] How to exclude 'built-in' operators from traces ?
Date: Mon, 27 Nov 2006 11:53:57 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

On Friday 24 November 2006 00:39, Marc Boyer wrote:
> how can I exclude the built-in symblos from traces ?

There is currently no option to do this, though a
set trace builtin on/off .
command could be added easily enough, though probably not to the upcoming 2.3
release since I'm hopeful that the current 2.3 release candidate can be
released as is.

Steven

[Maude-help] How to exclude 'built-in' operators from traces ?, Marc Boyer, 11/24/2006
- Re: [Maude-help] How to exclude 'built-in' operators from traces ?, Steven Eker, 11/27/2006