From 4fc5a64aa42e0c1b891e81f2be12f09aca7ca1f6 Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <tommycjniko@gmail.com>
Date: Tue, 4 Dec 2018 13:33:54 +0530
Subject: [PATCH] minimize call value

---
 mythril/analysis/solver.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py
index b91cc498..d11c6691 100644
--- 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: