From 1f6fb54967659ff2ee3f8c29a8d306499fcf1299 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 7 Jan 2019 09:02:02 -0800 Subject: New C++ API: Add missing getType() calls to kick off type checking. (#2773) --- test/unit/api/solver_black.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/unit') diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index 40f641cbd..5c2c7a8f5 100644 --- a/test/unit/api/solver_black.h +++ b/test/unit/api/solver_black.h @@ -288,7 +288,8 @@ void SolverBlack::testMkConst() // mkConst(Kind kind, Sort arg) const TS_ASSERT_THROWS_NOTHING(d_solver.mkConst(EMPTYSET, Sort())); - TS_ASSERT_THROWS_NOTHING(d_solver.mkConst(UNIVERSE_SET, d_solver.mkSetSort(d_solver.getBooleanSort()))); + TS_ASSERT_THROWS_NOTHING(d_solver.mkConst( + UNIVERSE_SET, d_solver.mkSetSort(d_solver.getBooleanSort()))); TS_ASSERT_THROWS(d_solver.mkConst(EMPTYSET, d_solver.getBooleanSort()), CVC4ApiException&); TS_ASSERT_THROWS(d_solver.mkTerm(UNIVERSE_SET, Sort()), CVC4ApiException&); -- cgit v1.2.3