Add dummy unit test for set matching

runtimeverification · Jul 30, 2024 · 70817d4 · 70817d4
1 parent bf05ef2
commit 70817d4
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs b/booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs
@@ -32,6 +32,7 @@ test_match_rewrite =
         , sorts
         , injections
         , internalLists
+        , internalSets
         , internalMaps
         ]
 
@@ -376,6 +377,17 @@ internalLists =
 
     klist = KList testKListDef
 
+internalSets :: TestTree
+internalSets =
+    testGroup
+        "Internal sets"
+        [ test
+            "Can match an empty set with itself"
+            emptySet
+            emptySet
+            (success [])
+        ]
+
 internalMaps :: TestTree
 internalMaps =
     testGroup