cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash

Browse Source
This commit is contained in:
Leonardo Alt
2018-10-19 15:52:16 +02:00
parent c13b5280c1
commit b46b827c30
20 changed files with 233 additions and 68 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolidity/SMTChecker.cpp
-17
View File
@@ -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