From 7ea30192a144d465d814b3c97d2f71bbd714f632 Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark.mossberg@gmail.com>
Date: Mon, 11 Dec 2017 11:36:30 -0500
Subject: [PATCH] evm: Make 'not enough funds' states finalized states (#636)

* print on every

* terminate not enough fund states

* Better check

* revert debug change
---
 manticore/seth.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/manticore/seth.py b/manticore/seth.py
index b5f69b5..60f5dca 100644
--- a/manticore/seth.py
+++ b/manticore/seth.py
@@ -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':