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

[SMTChecker] Create CHC constructor/interface/error blocks

Browse Source
This commit is contained in:
Leonardo Alt
2019-08-12 12:34:57 +02:00
parent b285e08635
commit bef6228810
3 changed files with 164 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTEncoder.cpp
+1
View File
@@ -40,6 +40,7 @@ bool SMTEncoder::visit(ContractDefinition const& _contract)
m_currentContract = &_contract;
initializeStateVariables(_contract);
return true;
}