cerc-io/solidity
15
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 #9656 from ethereum/fixSmtConditionalTests

Browse Source 
Fix tests for conditional operator on latest develop.
This commit is contained in:
Leonardo 2020-08-22 12:11:25 +02:00 committed by GitHub
commit bff0f9bda7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/libsolidity/smtCheckerTests/operators/conditional_assignment_function_2.sol
View File

@ -16,4 +16,4 @@ contract C {
}
}
// ----
// Warning 6328: (378-392): Assertion violation happens here.
// Warning 6328: (378-392): Assertion violation happens here

1
test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol
View File

@ -10,4 +10,3 @@ contract C {
}
}
// ----
// Warning 2661: (129-134): Overflow (resulting value larger than 2**256 - 1) happens here