Add missing test for API coverage in nightlies. (cvc5#10498)

HanielB · Mar 12, 2024 · 2ec241f · 2ec241f
1 parent f16688a
commit 2ec241f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/unit/api/cpp/api_deprecated_black.cpp b/test/unit/api/cpp/api_deprecated_black.cpp
@@ -108,6 +108,7 @@ TEST_F(TestApiDeprecated, solver)
   (void)slv.mkTuple({slv.mkBitVector(3, "101", 2)});
   (void)slv.mkNullableSome(slv.mkBitVector(3, "101", 2));
   (void)slv.mkNullableVal(slv.mkNullableSome(slv.mkInteger(5)));
+  (void)slv.mkNullableNull(slv.mkNullableSort(slv.getBooleanSort()));
   (void)slv.mkNullableIsNull(slv.mkNullableSome(slv.mkInteger(5)));
   (void)slv.mkNullableIsSome(slv.mkNullableSome(slv.mkInteger(5)));
   (void)slv.mkNullableSort(slv.getBooleanSort());