K-user mailing list

[Charles Jacobsen <charlie.jacobsen AT utah.edu>]

I set up "unit test" rules for a module. My test module looks like this, but with about 16 more complicated tests:

configuration <k>
                test1 ~>
                test2 ~>
                test3
              </k>

  syntax K ::= "test1"
  rule <k> test1 => . ... </k>
       when foo(5) ==Int 10

  syntax K ::= "test2"
  rule <k> test2 => . ... </k>
       when foo(-1) ==Int 0


  syntax K ::= "test3"
  rule <k> test3 => . ... </k>
       when foo(0) ==Int 0

kompile runs out of memory with my module (not the one above), probably in an infinite loop? If I chain the tests like the following, it kompiles in about 20 - 30 seconds!

configuration <k> test1 </k>

  syntax K ::= "test1"
  rule <k> test1 => test2 </k>
       when foo(5) ==Int 10

  syntax K ::= "test2"
  rule <k> test2 => test3 </k>
       when foo(-1) ==Int 0

  syntax K ::= "test3"
  rule <k> test3 => . </k>
       when foo(0) ==Int 0

I was considering pulling up the source code for kompile in eclipse and stepping through it, but I thought I would ask first for any pointers to setting up the development environment for k.

Thanks in advance guys.