K-user mailing list

[Lucas Pena <lpena7 AT illinois.edu>]

Hm, this seems like the right way to use it. Can you send a minimal example with the K definition you're trying to run where this causes a problem? For reference, here's an example where that exact command functions appropriately:

test.k:

```

module TEST-SYNTAX

    syntax Program ::= "a"

endmodule

module TEST

    imports TEST-SYNTAX

    configuration <T>

                    <k> $PGM:Program </k>

                    <state> $STATE:Map </state>

                  </T>

    syntax KItem ::= "b" | "c" | "d"

    rule a => b

    rule b => c

    rule c => d

endmodule

```

and the file `example` just contains the character `a`. Then the command `krun example -cSTATE=".Map"` executes fine and yields the configuration `<T> <k> d </k> <state> .Map </state> </T>`.

On Wed, Nov 15, 2017 at 8:38 AM, vincenzo.arceri AT univr.it <vincenzo.arceri AT univr.it> wrote:

Hi all,
I'm Vincenzo Arceri from University of Verona and I wrote a language
definition on K version 4 and I have some trouble with the --config-var krun
option.

The configuration is

<T>
   <k> $PGM:Program </k>
   <state> $STATE:Map </state>
</T>

and I've tried to run

krun example -cSTATE=".Map"

but I obtain this error

[Error] Critical: Parser returned a non-zero exit code: 113
Stdout:

Stderr:
[Error] Inner Parser: Parse error: unexpected character '.'.
        Source(<command line: -e>)
        Location(1,1,1,2)

Maybe it is a stupid question, but which is the right syntax of -c/--config-
var?

Thank you!

=========================
Vincenzo Arceri, PhD Student
Computer Science Department
Università degli Studi di Verona
Ca’ Vignal 2, Strada le Grazie 15
37134, Verona, Italy
E-mail: vincenzo.arceri AT univr.it
Skype: vincenzo.arceri.it
=========================

--

Lucas Peña

University of Illinois at Urbana-Champaign

lpena7 AT illinois.edu

(954) 882-7070