DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Fixed Issue #723 - changed _pop() to _pop_vm() (#745)

Browse Source
This commit is contained in:
Arun John Kuruvilla 2018-02-08 15:25:40 -05:00 committed by feliam
parent 5a38737ede
commit 4d84551375
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manticore/platforms/evm.py
View File

@ -2081,7 +2081,7 @@ class EVMWorld(Platform):
self._do_events() self._do_events()
if self.depth > 1024: if self.depth > 1024:
while self.depth >0: while self.depth >0:
self._pop(rollback=True) self._pop_vm(rollback=True)
raise TerminateState("Maximum call depth limit is reached", testcase=True) raise TerminateState("Maximum call depth limit is reached", testcase=True)
def _pop_vm(self, rollback=False): def _pop_vm(self, rollback=False):