Additional test case

runtimeverification · Oct 10, 2022 · 31d32a4 · 31d32a4
1 parent 260aa4c
commit 31d32a4
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test
@@ -0,0 +1 @@
+test2
diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test.out b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test.out
@@ -0,0 +1,3 @@
+<k>
+  true ~> .
+</k>
diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k b/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k
@@ -3,9 +3,14 @@ module TEST
   imports BOOL
   imports K-EQUAL
   imports STRING
+  imports INT
 
-  syntax Bool ::= "test" [function]
+  syntax Bool ::= "test"  [function]
+                | "test2" [function]
 
   // Evaluates to true if the Id constructed by String2Id contains extra quotes
   rule test => String2Id("x") ==K #token("\"x\"", "Id")
+
+  // Test that hooks producing a result of sort String are wrapped
+  rule test2 => Int2String(2) ==K "2"
 endmodule