evm: Make 'not enough funds' states finalized states (#636)

* print on every

* terminate not enough fund states

* Better check

* revert debug change
This commit is contained in:
Mark Mossberg
2017-12-11 11:36:30 -05:00
committed by GitHub
parent 3f0441148f
commit 7ea30192a1
+3 -1
View File
@@ -656,7 +656,9 @@ class ManticoreEVM(Manticore):
our private list
'''
state.context['last_exception'] = e
if e.message != 'REVERT':
# TODO(mark): This will break if we ever change the message text. Use a less
# brittle check.
if e.message not in {'REVERT', 'Not Enough Funds for transaction'}:
# if not a revert we save the state for further transactioning
state.context['processed'] = False
if e.message == 'RETURN':