Fix gas (#1633)

trailofbits · Mar 13, 2020 · 384e670 · 384e670
1 parent abb4fc0
commit 384e670
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
@@ -781,7 +781,7 @@ def constraints(self, constraints):
 
     @property
     def gas(self):
-        return self._gas
+        return Operators.EXTRACT(self._gas, 0, 256)
 
     def __getstate__(self):
         state = super().__getstate__()
@@ -1934,7 +1934,7 @@ def MSIZE(self):
     def GAS(self):
         """Get the amount of available gas, including the corresponding reduction the amount of available gas"""
         # fixme calculate gas consumption
-        return Operators.EXTRACT(self._gas, 0, 256)
+        return self.gas
 
     def JUMPDEST(self):
         """Mark a valid destination for jumps"""