aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
diff options
context:
space:
mode:
authorLeonardo Alt <leo@ethereum.org>2018-10-18 21:03:52 +0800
committerLeonardo Alt <leo@ethereum.org>2018-10-19 21:52:16 +0800
commitb46b827c30584968c6815b456b8c0c775c35ae48 (patch)
tree7ea55c6c685cc81779d5dd7bc3f44da22918840e /test/libsolidity/SMTChecker.cpp
parentc13b5280c1b44f18a2a1fb61ef5556e91c5678e7 (diff)
downloaddexon-solidity-b46b827c30584968c6815b456b8c0c775c35ae48.tar.gz
dexon-solidity-b46b827c30584968c6815b456b8c0c775c35ae48.tar.zst
dexon-solidity-b46b827c30584968c6815b456b8c0c775c35ae48.zip
[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
-rw-r--r--test/libsolidity/SMTChecker.cpp17
1 files changed, 0 insertions, 17 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp
index c7e60256..195004cb 100644
--- a/test/libsolidity/SMTChecker.cpp
+++ b/test/libsolidity/SMTChecker.cpp
@@ -133,23 +133,6 @@ BOOST_AUTO_TEST_CASE(assignment_in_declaration)
CHECK_SUCCESS_NO_WARNINGS(text);
}
-BOOST_AUTO_TEST_CASE(function_call_does_not_clear_local_vars)
-{
- string text = R"(
- contract C {
- function g() public pure {}
- function f() public view {
- uint a = 3;
- this.g();
- assert(a == 3);
- g();
- assert(a == 3);
- }
- }
- )";
- CHECK_WARNING(text, "Assertion checker does not yet implement this type of function call");
-}
-
BOOST_AUTO_TEST_CASE(branches_merge_variables)
{
// Branch does not touch variable a