Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Lee,

The messages suggest that you have either not loaded full-maude or the kbc.maude file. With the information you give I cannot say much more. 

Cheers,

Francisco

On 06/05/2014, at 12:53, Lee Martin CCNP <tesleft AT hotmail.com> wrote:

Hi

after load all files in kbc.tar and try example ex-kbc-group-1

run the code one by one, meet this error

Advisory: redefining view GROUP-I-ORDER.
Warning: <standard input>, line 61 (view GROUP-I-ORDER): module STRICT-ORDER
    does not exist.

Maude> load ex-kbc-group-I.fm
Warning: "ex-kbc-group-I.fm", line 1: bad token init.
Warning: "ex-kbc-group-I.fm", line 1: no parse for term.
Warning: no loop state.
Warning: "lpo.fm", line 2: unable to locate file: ext-bool.fm
Warning: "lpo.fm", line 4: unable to locate file: strict-order.fm
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: "kbo.fm", line 2: unable to locate file: ext-bool.fm
Warning: "kbo.fm", line 22: unable to locate file: strict-order.fm
Warning: "kbo.fm", line 24: unable to locate file: weight.fm
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.


Regards,

Martin

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help