From d1051f6c8406e2a25467c8dc20b8b86adfa045d8 Mon Sep 17 00:00:00 2001
From: feliam <felipe.andres.manzano@gmail.com>
Date: Tue, 20 Mar 2018 14:30:09 -0300
Subject: [PATCH] Push 0 on internal revert (#830)

---
 manticore/platforms/evm.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
index 9c3337b..dbcdb2d 100644
--- a/manticore/platforms/evm.py
+++ b/manticore/platforms/evm.py
@@ -2493,6 +2493,7 @@ class EVMWorld(Platform):
             raise TerminateState("REVERT", testcase=True)
 
         self.current.last_exception = None
+        self.current._push(0)
         # we are still on the CALL/CREATE
         self.current.pc += self.current.instruction.size