Maude-help mailing list

[Pavel Strnad <pavel.strnad AT fel.cvut.cz>]

Thank you very much! I will try it.

Pavel

On 29. 3. 2013, at 23:25, Steven Eker 
<eker AT csl.sri.com>
 wrote:

> 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
> 
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help