Fix the json v2 accounts field

5 years ago · 120d0b2e2d
parent 47a308fa39
commit 120d0b2e2d
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/solver.py
+++ b/mythril/analysis/solver.py
@ -135,7 +135,7 @@ def _get_concrete_state(initial_accounts: Dict, min_price_dict: Dict[str, int]):
        data["storage"] = str(account.storage)
        data["balance"] = min_price_dict.get(address, 0)
        accounts[hex(address)] = data
-    return accounts
+    return {"accounts": accounts}


 def _get_concrete_transaction(model: z3.Model, transaction: BaseTransaction):