Merge pull request #727 from ConsenSys/bugfix_726

Add missing constraint to get_transaction_sequence args
6 years ago · db5a0f91d1
parent b0ce96f096 ad7bdff9e6
commit db5a0f91d1
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -109,7 +109,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
        )
        try:
            issue.debug = "Transaction Sequence: " + str(
-                solver.get_transaction_sequence(state, node.constraints)
+                solver.get_transaction_sequence(state, node.constraints + [constraint])
            )
        except UnsatError:
            return issues