maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Can you help for this?

From: rza AT Cs.Nott.AC.UK
To: YUJIAN FU <yujian.fu AT aamu.edu>
Cc: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: Re: [Maude-help] Can you help for this?
Date: 14 Jul 2010 22:50:53 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>
Source-info: From (or Sender) name not authenticated.

Hi,
does Maude support equality testing using === or == please check it, e.g.,

crl [t00] : valA0(a0,a1,a2,a3,a4,a5,a6,a7) valB0(b0,b1,b2,b3) =>sum0(0,0,0,0,0,0,0,0) if b3 === 0 .

also space after => is necessary....

best,
--Rza

On Jul 14 2010, YUJIAN FU wrote:

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

[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