From 9b057b0dc30068c061f3d4cd3ecbfd791c12766e Mon Sep 17 00:00:00 2001 From: Nathan Date: Wed, 31 Oct 2018 19:34:11 -0400 Subject: [PATCH] model_completion=True fix --- mythril/analysis/solver.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index a82d92c3..9eba7c38 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -94,10 +94,10 @@ def get_transaction_sequence(global_state, constraints): ) concrete_transactions[tx_id]["call_value"] = ( - "0x%x" % model.eval(transaction.call_value).as_long() + "0x%x" % model.eval(transaction.call_value, model_completion=True).as_long() ) concrete_transactions[tx_id]["caller"] = "0x" + ( - "%x" % model.eval(transaction.caller).as_long() + "%x" % model.eval(transaction.caller, model_completion=True).as_long() ).zfill(40) return concrete_transactions