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

Merge pull request #7734 from ethereum/smt_fix_060

Browse Source 
Fix SMTChecker tests on 060
This commit is contained in:
Erik K 2019-11-19 11:58:54 +01:00 committed by GitHub
commit 564f20086d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libsolidity/smtCheckerTests/typecast/function_type_to_address.sol
View File

@ -1,10 +0,0 @@
pragma experimental SMTChecker;
contract C {
function f(address a, function(uint) external g) internal pure {
address b = address(g);
assert(a == b);
}
}
// ----
// Warning: (128-138): Type conversion is not yet fully supported and might yield false positives.
// Warning: (142-156): Assertion violation happens here

10
test/libsolidity/smtCheckerTests/types/function_type_external_address.sol Normal file
View File

@ -0,0 +1,10 @@
pragma experimental SMTChecker;
contract C {
function f(address a, function(uint) external g) internal pure {
address b = g.address;
assert(a == b);
}
}
// ----
// Warning: (128-137): Assertion checker does not yet support this expression.
// Warning: (141-155): Assertion violation happens here