maude-help AT lists.cs.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] upModule and upRls in Full Maude
- Date: Mon, 06 Sep 2010 11:36:03 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
Hi,
I'm coding a strategy to produce pseudo-random execution traces of my model. I've got it to work in Core Maude. In Full Maude, however, the functions upModule and upRls fail to reduce to anything interesting. upTerm seems to work fine. Has anybody got this work? What do I need to do that isn't explained in the manual?
k
- [Maude-help] upModule and upRls in Full Maude, Krzysztof Majewski, 09/06/2010
- Re: [Maude-help] upModule and upRls in Full Maude, Francisco Durán, 09/07/2010
Archive powered by MHonArc 2.6.16.