maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Krzysztof Majewski <krzys AT ifi.uio.no>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] how to generate traces for many different runs of a program?
- Date: Wed, 11 Aug 2010 15:12:41 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
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] how to generate traces for many different runs of a program?, Krzysztof Majewski, 08/11/2010
- Re: [Maude-help] how to generate traces for many different runs of a program?, Krzysztof Majewski, 08/12/2010
Archive powered by MHonArc 2.6.16.