diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 57e3b47c..23195653 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -32,7 +32,7 @@ import logging log = logging.getLogger(__name__) -DISABLE_EFFECT_CHECK = False +DISABLE_EFFECT_CHECK = True class OverUnderflowAnnotation: