model_completion=True fix

6 years ago · 9b057b0dc3
parent f126608a3b
commit 9b057b0dc3
1 changed files with 2 additions and 2 deletions
--- 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