Maude-help mailing list

[Krzysztof Majewski <krzys AT ifi.uio.no>]

In case someone looks through the archives for an answer, there is a 
hint on how to do this in a paper by Johnsen et al.: "Validating 
Behavioral Component Interfaces in Rewriting Logic", see Section 4.

k


> Hi,
> I would like to generate traces for many (different) runs of my Maude 
> program. In other words, something like frew but with a different random 
> seed each time. Does anybody know how to do this? I'm guessing I would 
> have to use META-LEVEL to write a "strategy", but I'm not sure how to 
> proceed. Please tell me I'm not the first person who wants to do this...
>
> k
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help