From 4fccaeefd67c3c736861870a8fe711a934c96e6d Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Thu, 19 Jul 2018 15:25:21 +0200 Subject: [PATCH] Add some documentation --- mythril/laser/ethereum/transaction.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/mythril/laser/ethereum/transaction.py b/mythril/laser/ethereum/transaction.py index 28f0f852..9249d515 100644 --- a/mythril/laser/ethereum/transaction.py +++ b/mythril/laser/ethereum/transaction.py @@ -5,7 +5,12 @@ from z3 import BitVec class CallTransaction: + """ Represents a call value transaction """ def __init__(self, callee_address): + """ + Constructor for Call transaction, sets up all symbolic parameters + :param callee_address: Address of the contract that will be called + """ self.callee_address = callee_address self.caller = BitVec("caller", 256) self.gas_price = BitVec("gasprice", 256) @@ -14,6 +19,7 @@ class CallTransaction: pass def run(self, open_world_states, evm): + """ Runs this transaction on the evm starting from the open world states""" for open_world_state in open_world_states: # Initialize the execution environment