ktest .out files for Identity.pkore and Lambda.pkore (for #5)

kframework · Jun 2, 2017 · 1726e2c · 1726e2c
1 parent 5b472d5
commit 1726e2c
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/test/pkore-samples/Identity.pkore.out b/test/pkore-samples/Identity.pkore.out
@@ -0,0 +1,15 @@
+<generatedTop>
+  <k>
+    val ( 2 ) ~> restoreEnv ( .Map )
+  </k>
+  <store>
+    1 |-> closure ( name ( foo ) ,
+                    var ( tmVar ( [type omitted] , name ( foo ) ) ) ,
+                    .Map )
+    2 |-> litObj ( lit ( litInt ( 17 , [type omitted] ) ) )
+  </store>
+  <env>
+    name ( foo ) |-> 2
+  </env>
+  <exit-code> 0 </exit-code>
+</generatedTop>
diff --git a/test/pkore-samples/Lambda.pkore.out b/test/pkore-samples/Lambda.pkore.out
@@ -0,0 +1,11 @@
+<generatedTop>
+  <k> val ( 2 ) ~> restoreEnv ( .Map ) </k>
+  <store>
+    1 |-> closure ( name ( foo ) , var ( tmVar ( [type omitted] , name ( foo ) ) ) , .Map )
+    2 |-> litObj ( lit ( litInt ( 17 , [type omitted] ) ) )
+  </store>
+  <env>
+    name ( foo ) |-> 2
+  </env>
+  <exit-code> 0 </exit-code>
+</generatedTop>