Add missing constraint to get_transaction_sequence args

6 years ago · ad7bdff9e6
parent b0ce96f096
commit ad7bdff9e6
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