K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Hello again,

The README is indeed outdated. For example, you don't need to include
the input on the command-line for this example. Here is the expected
output:

$ krun programs/diverse/factorial.simple
Input a natural numer: 120
Factorial of 120 is:
6689502913449127057588118054090372586752746333138029810295671352301633557244962989366874165271984981308157637893214090552534408589408121859898481114389650005964960521256960000000000000000000000000000
...<configuration excluded>...

Can you please send us the output of: echo "" | maude

Also, please send us the contents of all of the files in the
.k/krun_tmp directory (generated by krun in the current directory).

Thanks,
David

On Tue, Nov 15, 2011 at 12:50 AM, Stephen Chang 
<stchang AT ccs.neu.edu>
 wrote:
> Hello again!
>
> I am trying to run an example (following directions here:
> http://code.google.com/p/k-framework/source/browse/tags/latest/README)
> but I am getting an error. Below is a transcript of my actions. Does
> anyone know what I am doing wrong?
>
>
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped$
>  make
> /home/stchang/k-framework/core/kompile simple-untyped.k  -l SIMPLE-UNTYPED
> Compiled version written in simple-untyped-compiled.maude.
>
> stchang@caprica:~/k-framework/examples/languages/research/simple/untyped$
> krun programs/diverse/factorial.simple 5
> Unable to parse Maude's output:
>
> Maude>
>
>
>
>
>
> ps: The README file could be updated in a few places:
> 1) The kast command no longer seems to have a "-lang" option
> 2) I'm guessing the input to the factorial example is meant to be 5 and not 
> 120
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>