Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Where rewriting is occurring in multiple modules (say Full Maude, and at 
the metalevel, which is how Full Maude executes stuff) you can exclude 
rewrites from one for more given modules (such as Full Maude) from 
tracing so you only see the rewrites you are interested in. The command is:

trace exclude <module names> .

Steven

On 3/29/13 11:48 AM, Pavel Strnad wrote:
> Dear Maude users,
> I am developing a specification of a concurrent object system using object 
> modules in Full Maude. I know how to debug and trace standard Maude modules 
> but the same approach does not work for Full Maude. Can you help me please or 
> target me to some literature?
> Thanks in advance.
> Regards
> Pavel Strnad
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help