diff options
| author | chriseth <chris@ethereum.org> | 2017-09-28 16:28:41 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-09-29 18:44:39 +0800 |
| commit | a1f304664735078c5b3d11e1d9d0334dffdf6bbd (patch) | |
| tree | e5a9eb1c65e383537a884a9f828a03d7a110df4f /test/boostTest.cpp | |
| parent | 5ee3ceaef77e5ab1fdcee1a698e5693823c14986 (diff) | |
| download | dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.tar.gz dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.tar.zst dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.zip | |
Add SMT tests.
Diffstat (limited to 'test/boostTest.cpp')
| -rw-r--r-- | test/boostTest.cpp | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/test/boostTest.cpp b/test/boostTest.cpp index d8c5b678..7b452e06 100644 --- a/test/boostTest.cpp +++ b/test/boostTest.cpp @@ -39,6 +39,17 @@ using namespace boost::unit_test; +namespace +{ +void removeTestSuite(std::string const& _name) +{ + master_test_suite_t& master = framework::master_test_suite(); + auto id = master.get(_name); + assert(id != INV_TEST_UNIT_ID); + master.remove(id); +} +} + test_suite* init_unit_test_suite( int /*argc*/, char* /*argv*/[] ) { master_test_suite_t& master = framework::master_test_suite(); @@ -57,12 +68,10 @@ test_suite* init_unit_test_suite( int /*argc*/, char* /*argv*/[] ) "SolidityEndToEndTest", "SolidityOptimizer" }) - { - auto id = master.get(suite); - assert(id != INV_TEST_UNIT_ID); - master.remove(id); - } + removeTestSuite(suite); } + if (dev::test::Options::get().disableSMT) + removeTestSuite("SMTChecker"); return 0; } |