diff options
| author | chriseth <chris@ethereum.org> | 2018-02-21 23:33:59 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-02-22 21:50:20 +0800 |
| commit | c182284d28faa45e668fe20293e9e08734187ee3 (patch) | |
| tree | a25e8823ba9d06d42ba43beb856fbbe6dd42fa2c /test/libsolidity/SMTChecker.cpp | |
| parent | 090d7037409247bd16fc0f9ae41500fa42dde498 (diff) | |
| download | dexon-solidity-c182284d28faa45e668fe20293e9e08734187ee3.tar.gz dexon-solidity-c182284d28faa45e668fe20293e9e08734187ee3.tar.zst dexon-solidity-c182284d28faa45e668fe20293e9e08734187ee3.zip | |
Do not warn about analysis-only experimental features.
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
| -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." })); |