maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] how to use kbc tool for completion

From: Lee Martin CCNP <tesleft AT hotmail.com>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] how to use kbc tool for completion
Date: Tue, 6 May 2014 18:53:31 +0800
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

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] how to use kbc tool for completion, Lee Martin CCNP, 05/06/2014
- Re: [Maude-help] how to use kbc tool for completion, Francisco Durán, 05/06/2014
  - Message not available
    - Re: [Maude-help] how to use kbc tool for completion, Francisco Durán, 05/08/2014