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] Reset SSA index to 0 instead of increasing in context reset

Browse Source
This commit is contained in:
Leonardo Alt
2019-07-25 14:16:34 +02:00
parent 4f7fec6911
commit 6bcbeb1d23
5 changed files with 13 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/EncodingContext.cpp
+2 -2
View File
@@ -38,8 +38,8 @@ void EncodingContext::reset()
resetAllVariables();
m_expressions.clear();
m_globalContext.clear();
m_thisAddress->increaseIndex();
m_balances->increaseIndex();
m_thisAddress->resetIndex();
m_balances->resetIndex();
m_assertions.clear();
}