Merge pull request #973 from ConsenSys/bugfix/972

Use the current state constraints over the constraint at the annotati…
6 years ago · 989d46eb52
parent e43a795a48 9c22872a72
commit 989d46eb52
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -290,7 +290,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
            try:

                transaction_sequence = solver.get_transaction_sequence(
-                    state, node.constraints + [annotation.constraint]
+                    state, state.mstate.constraints + [annotation.constraint]
                )
            except UnsatError:
                continue