maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Can you help for this?

From: YUJIAN FU <yujian.fu AT aamu.edu>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Can you help for this?
Date: Wed, 14 Jul 2010 15:10:13 -0500
Accept-language: en-US
Acceptlanguage: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude supportors:

I got a problem for my current maude file. I can load it without any problem,
but when I reduce on some property, nothing happens.
Also, debugging is a problem for me now. When I set trace on, run debug
reduce modelCheck(init1, property1), still nothing happens.
What should I do?
The maude file was attached. Really appreciate for your help

Yujian Fu
Alabama A&M University

Attachment: PMMC.maude
Description: PMMC.maude

[Maude-help] Can you help for this?, YUJIAN FU, 07/14/2010
- Re: [Maude-help] Can you help for this?, Traian Florin Șerbănuță, 07/14/2010
- <Possible follow-up(s)>
- Re: [Maude-help] Can you help for this?, rza, 07/14/2010
  - Re: [Maude-help] Can you help for this?, Daniel Romero, 07/14/2010