diff options
Diffstat (limited to 'test/boostTest.cpp')
| -rw-r--r-- | test/boostTest.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/boostTest.cpp b/test/boostTest.cpp index d27ba1f6..34eeaec9 100644 --- a/test/boostTest.cpp +++ b/test/boostTest.cpp @@ -145,6 +145,13 @@ test_suite* init_unit_test_suite( int /*argc*/, char* /*argv*/[] ) "yulOptimizerTests", dev::yul::test::YulOptimizerTest::create ) > 0, "no Yul Optimizer tests found"); + if (!dev::test::Options::get().disableSMT) + solAssert(registerTests( + master, + dev::test::Options::get().testPath / "libsolidity", + "smtCheckerTests", + SyntaxTest::create + ) > 0, "no SMT checker tests found"); if (dev::test::Options::get().disableIPC) { for (auto suite: { |