ZhuXiaoran07

I am trying to prove sth. about arrays. The semantics is much like imp.k except adding some rules about arrays: ` ``` syntax Int ::="["Id "," AExp "]" syntax Int::=...

Uncaught exception thrown of type AssertionError

1

When kompiling the following definition: ``` module TEST-SYNTAX syntax Stmt ::= "COUNTER" "=" Id ";" endmodule module TEST imports TEST-SYNTAX syntax KResult ::= Int | Bool | String configuration $PGM:Stmt...