Update test outputs to use .K

runtimeverification · Mar 8, 2024 · 997eaf3 · 997eaf3
1 parent dcf27c5
commit 997eaf3
Show file tree

Hide file tree

Showing 136 changed files with 154 additions and 154 deletions.
diff --git a/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  ( lambda z . ( z z ) ) lambda x . lambda y . ( x y ) ~> .
+  ( lambda z . ( z z ) ) lambda x . lambda y . ( x y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a ( ( lambda x . lambda y . x ) y z ) ~> .
+  a ( ( lambda x . lambda y . x ) y z ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_1/tests/identity.lambda.out b/1_k/1_lambda/lesson_1/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_1/tests/omega.lambda.out b/1_k/1_lambda/lesson_1/tests/omega.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  ( lambda x . ( x x ) ) lambda x . ( x x ) ~> .
+  ( lambda x . ( x x ) ) lambda x . ( x x ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . lambda y0 . ( y y0 ) ~> .
+  lambda y . lambda y0 . ( y y0 ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out b/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a ( ( lambda x . lambda y . x ) y z ) ~> .
+  a ( ( lambda x . lambda y . x ) y z ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_2/tests/identity.lambda.out b/1_k/1_lambda/lesson_2/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_3/tests/identity.lambda.out b/1_k/1_lambda/lesson_3/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_4/tests/identity.lambda.out b/1_k/1_lambda/lesson_4/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_5/tests/identity.lambda.out b/1_k/1_lambda/lesson_5/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_6/tests/identity.lambda.out b/1_k/1_lambda/lesson_6/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_6/tests/if.lambda.out b/1_k/1_lambda/lesson_6/tests/if.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  10 ~> .
+  10 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/identity.lambda.out b/1_k/1_lambda/lesson_7/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/if.lambda.out b/1_k/1_lambda/lesson_7/tests/if.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  10 ~> .
+  10 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_7/tests/lets.lambda.out b/1_k/1_lambda/lesson_7/tests/lets.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out b/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  13 ~> .
+  13 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/identity.lambda.out b/1_k/1_lambda/lesson_8/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/if.lambda.out b/1_k/1_lambda/lesson_8/tests/if.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  10 ~> .
+  10 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_8/tests/lets.lambda.out b/1_k/1_lambda/lesson_8/tests/lets.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .
+  lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  3628800 ~> .
+  3628800 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out b/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  13 ~> .
+  13 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out b/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  13 ~> .
+  13 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  a y ~> .
+  a y ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/identity.lambda.out b/1_k/1_lambda/lesson_9/tests/identity.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  lambda x . x ~> .
+  lambda x . x ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/if.lambda.out b/1_k/1_lambda/lesson_9/tests/if.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  10 ~> .
+  10 ~> .K
 </k>
diff --git a/1_k/1_lambda/lesson_9/tests/lets.lambda.out b/1_k/1_lambda/lesson_9/tests/lets.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/2_imp/lesson_1/tests/collatz.imp.out b/1_k/2_imp/lesson_1/tests/collatz.imp.out
@@ -1,3 +1,3 @@
 <k>
-  int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .
+  int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K
 </k>
diff --git a/1_k/2_imp/lesson_1/tests/primes.imp.out b/1_k/2_imp/lesson_1/tests/primes.imp.out
@@ -1,3 +1,3 @@
 <k>
-  int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .
+  int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K
 </k>
diff --git a/1_k/2_imp/lesson_1/tests/sum.imp.out b/1_k/2_imp/lesson_1/tests/sum.imp.out
@@ -1,3 +1,3 @@
 <k>
-  int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .
+  int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K
 </k>
diff --git a/1_k/2_imp/lesson_2/tests/collatz.imp.out b/1_k/2_imp/lesson_2/tests/collatz.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .
+    int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_2/tests/primes.imp.out b/1_k/2_imp/lesson_2/tests/primes.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .
+    int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_2/tests/sum.imp.out b/1_k/2_imp/lesson_2/tests/sum.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .
+    int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_3/tests/collatz.imp.out b/1_k/2_imp/lesson_3/tests/collatz.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .
+    int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_3/tests/primes.imp.out b/1_k/2_imp/lesson_3/tests/primes.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .
+    int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_3/tests/sum.imp.out b/1_k/2_imp/lesson_3/tests/sum.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .
+    int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K
   </k>
   <state>
     .Map

diff --git a/1_k/2_imp/lesson_4/tests/collatz.imp.out b/1_k/2_imp/lesson_4/tests/collatz.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     m |-> 2

diff --git a/1_k/2_imp/lesson_4/tests/primes.imp.out b/1_k/2_imp/lesson_4/tests/primes.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     i |-> 2

diff --git a/1_k/2_imp/lesson_4/tests/sum.imp.out b/1_k/2_imp/lesson_4/tests/sum.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     n |-> 0

diff --git a/1_k/2_imp/lesson_5/tests/collatz.imp.out b/1_k/2_imp/lesson_5/tests/collatz.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     m |-> 2

diff --git a/1_k/2_imp/lesson_5/tests/primes.imp.out b/1_k/2_imp/lesson_5/tests/primes.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     i |-> 2

diff --git a/1_k/2_imp/lesson_5/tests/sum.imp.out b/1_k/2_imp/lesson_5/tests/sum.imp.out
@@ -1,6 +1,6 @@
 <T>
   <k>
-    .
+    .K
   </k>
   <state>
     n |-> 0

diff --git a/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out b/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  true ~> .
+  true ~> .K
 </k>
diff --git a/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out b/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out
@@ -1,3 +1,3 @@
 <k>
-  15 ~> .
+  15 ~> .K
 </k>
-Original file line number
+Diff line change
@@ -1,3 +1,3 @@
     <k>
-~> .
+~> .K
     </k>