From 7656287409fbf0c91fd1aa9afc32dc5b7653497d Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 29 Jan 2019 15:46:18 +0530 Subject: [PATCH] Change get_list() to as_list() --- mythril/laser/ethereum/state/constraints.py | 3 ++- mythril/laser/ethereum/transaction/symbolic.py | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py index bf0808ee..ad07fc09 100644 --- a/mythril/laser/ethereum/state/constraints.py +++ b/mythril/laser/ethereum/state/constraints.py @@ -56,7 +56,8 @@ class Constraints(list): """ raise NotImplementedError - def get_list(self) -> List[Bool]: + @property + def as_list(self) -> List[Bool]: """ :return: returns the list of constraints """ diff --git a/mythril/laser/ethereum/transaction/symbolic.py b/mythril/laser/ethereum/transaction/symbolic.py index bb33ebfa..802fe580 100644 --- a/mythril/laser/ethereum/transaction/symbolic.py +++ b/mythril/laser/ethereum/transaction/symbolic.py @@ -133,7 +133,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None: ) global_state.mstate.constraints += transaction.world_state.node.constraints - new_node.constraints = global_state.mstate.constraints.get_list() + new_node.constraints = global_state.mstate.constraints.as_list() global_state.world_state.transaction_sequence.append(transaction) global_state.node = new_node