TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Enable effects check

Browse Source
pull/1067/head
Bernhard Mueller 6 years ago
parent eaec4906bc
commit fada2c5b38
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/analysis/modules/integer.py

2
mythril/analysis/modules/integer.py
Unescape View File

@ -31,7 +31,7 @@ import logging
log = logging.getLogger(__name__) log = logging.getLogger(__name__)
DISABLE_EFFECT_CHECK = True DISABLE_EFFECT_CHECK = False
class OverUnderflowAnnotation: class OverUnderflowAnnotation:

Write Preview
Loading…
Cancel
Save