maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Tracing and rewrite rules

From: Steven Eker <eker AT csl.sri.com>
To: Andy Fugard <...>, maude-help AT banyan.cs.uiuc.edu
Subject: Re: [Maude-help] Tracing and rewrite rules
Date: Tue, 30 Sep 2003 12:09:49 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: SRI International

On Tuesday 30 September 2003 03:45 am, Andy Fugard wrote:
> Hi there,
>
> Is there a way to do extremely pedantic tracing in Maude where the rule
> used for each rewrite (referred to by a number, for example) is listed
> along with the rewriting performed?
>
> Cheers,
>
> Andy

By default "set trace on ." displays the rule used for each rewrite. See the
manual for the full list of options to control what is displayed. There is no
obvious numbering scheme for rules because of importation - the rule is
either displayed in full or not at all.

Steven

[Maude-help] Tracing and rewrite rules, Andy Fugard, 09/30/2003
- Re: [Maude-help] Tracing and rewrite rules, Steven Eker, 09/30/2003