diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-10-10 20:31:49 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-10-15 21:11:21 +0800 |
| commit | e4851cf59eed8d39a4b95e1ce8181b52e5c66d78 (patch) | |
| tree | a1f3be719b94b81608ff4bc7c20f0b93b6090c36 /test/boostTest.cpp | |
| parent | 88b1558862602049261b8530c6c7edcd23b96eb7 (diff) | |
| download | dexon-solidity-e4851cf59eed8d39a4b95e1ce8181b52e5c66d78.tar.gz dexon-solidity-e4851cf59eed8d39a4b95e1ce8181b52e5c66d78.tar.zst dexon-solidity-e4851cf59eed8d39a4b95e1ce8181b52e5c66d78.zip | |
[SMTChecker] Inline calls to internal functions
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: { |