cerc-io/solidity
10
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

Add test case for revert() in SMTChecker

Browse Source
This commit is contained in:
Alex Beregszaszi 2020-09-11 20:41:39 +01:00
parent eac175c08b
commit 8f36408ef9
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/libsolidity/smtCheckerTests/control_flow/revert.sol Normal file
View File

@ -0,0 +1,19 @@
pragma experimental SMTChecker;
contract C {
function f() pure public {
require(false);
// This is not reachable.
assert(false);
}
function g() pure public {
revert();
// This is not reachable.
assert(false);
}
}
// ----
// Warning 5740: (211-224): Unreachable code.
// Warning 6328: (211-224): Assertion violation happens here.
// Warning 4588: (171-179): Assertion checker does not yet implement this type of function call.