add test case to CI

uclid-org · Jul 4, 2024 · 97540fe · 97540fe
1 parent 512a640
commit 97540fe
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/scala/SMTLIB2Spec.scala b/src/test/scala/SMTLIB2Spec.scala
@@ -445,6 +445,9 @@ class SMTLIB2Spec extends AnyFlatSpec {
   "issue-187b.ucl" should "verify all assertions." in {
     SMTLIB2Spec.expectedFails("./test/issue-187b.ucl", 0)
   }
+  "issue-253.ucl" should "verify all assertions." in {
+    SMTLIB2Spec.expectedFails("./test/issue-253.ucl", 0)
+  }
   "test-redundant-assign.ucl" should "verify all assertions." in {
     SMTLIB2Spec.expectedFails("./test/test-redundant-assign.ucl", 0)
   }