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

Add test

Browse Source
This commit is contained in:
Leonardo Alt
2020-05-28 13:14:21 +02:00
parent a73ec6a82f
commit ec766958ea
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolidity/smtCheckerTests/functions/internal_call_state_var_init.sol
+5
View File
@@ -0,0 +1,5 @@
pragma experimental SMTChecker;
contract c {
bool b = (f() == 0) && (f() == 0);
function f() internal returns (uint) {}
}