We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 089e089 commit 21a8491Copy full SHA for 21a8491
manticore/platforms/evm.py
@@ -42,7 +42,7 @@
42
logger = logging.getLogger(__name__)
43
44
# Gas behaviour configuration
45
-# When gas is concrete the gas checks and calculation are pretty straigth forward
+# When gas is concrete the gas checks and calculation are pretty straight forward
46
# Though Gas can became symbolic in normal bytecode execution for example at instructions
47
# MSTORE, MSTORE8, EXP, ... and every instruction with internal operation restricted by gas
48
# This configuration variable allows the user to control and perhaps relax the gas calculation
0 commit comments