Set self._pc (not self.pc) in __init__.

trailofbits · Sep 6, 2019 · 86add58 · 86add58
1 parent 8003610
commit 86add58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
@@ -720,7 +720,7 @@ def extend_with_zeroes(b):
         # self.invalid = set()
 
         # Machine state
-        self.pc = 0
+        self._pc = 0
         self.stack = []
         # We maintain gas as a 512 bits internally to avoid overflows
         # it is shortened to 256 bits when it is used by the GAS instruction