Test first order and hybrid references

sybila · Dec 24, 2016 · 51faca5 · 51faca5
1 parent 581164c
commit 51faca5
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/test/kotlin/com/github/sybila/huctl/ParserBasicTest.kt b/src/test/kotlin/com/github/sybila/huctl/ParserBasicTest.kt
@@ -234,13 +234,22 @@ class Basic {
         assertEquals(
                 exists("x", False, False), parser.formula("exists x in False: False")
         )
+        assertEquals(
+                exists("x", True, "x".asReference()), parser.formula("exists x: x")
+        )
+        assertEquals(
+                forall("x", True, "x".asReference()), parser.formula("forall x: x")
+        )
     }
 
     @Test
     fun hybrid() {
         assertEquals(
                 bind("x", True), parser.formula("bind x: True")
         )
+        assertEquals(
+                bind("x", "x".asReference()), parser.formula("bind x: x")
+        )
         assertEquals(
                 bind("x", at("x", True)), parser.formula("bind x: at x: True")
         )