minimize call value

6 years ago · 4fc5a64aa4
parent aafe06c0df
commit 4fc5a64aa4
1 changed files with 3 additions and 2 deletions
--- a/mythril/analysis/solver.py
+++ b/mythril/analysis/solver.py
@ -83,13 +83,14 @@ def get_transaction_sequence(global_state, constraints):
            transactions.append(transaction)
            # Constrain calldatasize
            max_calldatasize = 5000
-            if max_calldatasize != None:
+            if max_calldatasize is not None:
                tx_constraints.append(
                    UGE(max_calldatasize, transaction.call_data.calldatasize)
                )

            minimize.append(transaction.call_data.calldatasize)
-
+            minimize.append(transaction.call_value)
+            
            concrete_transactions[tx_id] = tx_template.copy()

        else: