Maude-help mailing list

[Traian Florin Șerbănuță <tserban2 AT illinois.edu>]

Dear Yujian Fu,

The problems seems to be that you forgot to add a spaces after the
"=>"  symbol in rules t00--t31.
This confuses Maude's parser as it expects propers spacing around
constructs, and then it returns to the user in a mode where it expects
more input to finish parsing.  That is why your commands don't have
any effect, because they are "eaten" by the parser.

Usually, when things like this happen, hitting CTRL+C would give you
and advisory message like

Advisory: <standard input>, line 1 (mod PM): discarding incomplete module.

which at least informs you in which module the parser got lost.
hope that helps.

best wishes,
- traian



2010/7/14 YUJIAN FU 
<yujian.fu AT aamu.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
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>