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

Merge pull request #7640 from ethereum/smt_fix_060

Browse Source 
[SMTChecker] Fix override tests
This commit is contained in:
Daniel Kirchner
2019-11-07 14:10:10 +01:00
committed by GitHub
parent c0b27d0bc1 fc945880d1
commit 108992c335
8 changed files with 122 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTEncoder.cpp
+1
View File
@@ -52,6 +52,7 @@ bool SMTEncoder::visit(ContractDefinition const& _contract)
for (auto const& function: resolvedFunctions)
if (
function->name() == baseFunction->name() &&
function->kind() == baseFunction->kind() &&
FunctionType(*function).asCallableFunction(false)->
hasEqualParameterTypes(*FunctionType(*baseFunction).asCallableFunction(false))
)