From 14c9151d211ec30dd5e00b604bf670a4b957e71a Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 1 Aug 2018 14:31:20 +0530 Subject: [PATCH] revert fallback name --- mythril/laser/ethereum/transaction.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/transaction.py b/mythril/laser/ethereum/transaction.py index 829b32f6..32189a08 100644 --- a/mythril/laser/ethereum/transaction.py +++ b/mythril/laser/ethereum/transaction.py @@ -50,7 +50,7 @@ class MessageCall: evm.edges.append(Edge(open_world_state.node.uid, new_node.uid, edge_type=JumpType.Transaction, condition=None)) global_state = GlobalState(open_world_state.accounts, environment, new_node) - global_state.environment.active_function_name = 'unnamed fallback' + global_state.environment.active_function_name = 'fallback' new_node.states.append(global_state) evm.work_list.append(global_state)