diff options
| author | chriseth <chris@ethereum.org> | 2018-02-22 22:17:19 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-22 22:17:19 +0800 |
| commit | 8fc9535d43df26001f7b34488d073c06fc4fd358 (patch) | |
| tree | a25e8823ba9d06d42ba43beb856fbbe6dd42fa2c /test | |
| parent | 090d7037409247bd16fc0f9ae41500fa42dde498 (diff) | |
| parent | c182284d28faa45e668fe20293e9e08734187ee3 (diff) | |
| download | dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar.gz dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar.bz2 dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar.lz dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar.xz dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.tar.zst dexon-solidity-8fc9535d43df26001f7b34488d073c06fc4fd358.zip | |
Merge pull request #3565 from ethereum/doNotWarnAboutAnalysisOnlyExpFeatures
Do not warn about analysis-only experimental features.
Diffstat (limited to 'test')
| -rw-r--r-- | test/libsolidity/SMTChecker.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp index 8c955292..5088ab94 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -35,12 +35,6 @@ namespace test class SMTCheckerFramework: public AnalysisFramework { -public: - SMTCheckerFramework() - { - m_warningsToFilter.push_back("Experimental features are turned on."); - } - protected: virtual std::pair<SourceUnit const*, ErrorList> parseAnalyseAndReturnError( @@ -103,6 +97,7 @@ BOOST_AUTO_TEST_CASE(warn_on_struct) } )"; CHECK_WARNING_ALLOW_MULTI(text, (vector<string>{ + "Experimental feature", "Assertion checker does not yet implement this expression.", "Assertion checker does not yet support the type of this variable." })); |