diff --git a/mythril/analysis/report.py b/mythril/analysis/report.py index 702ba8ec..429c7153 100644 --- a/mythril/analysis/report.py +++ b/mythril/analysis/report.py @@ -185,7 +185,12 @@ class Report: loader=PackageLoader("mythril.analysis"), trim_blocks=True ) - def __init__(self, contracts=None, exceptions=None, execution_info: List[ExecutionInfo] = None): + def __init__( + self, + contracts=None, + exceptions=None, + execution_info: List[ExecutionInfo] = None, + ): """ :param contracts: diff --git a/mythril/mythril/mythril_analyzer.py b/mythril/mythril/mythril_analyzer.py index 880e8629..211391c1 100644 --- a/mythril/mythril/mythril_analyzer.py +++ b/mythril/mythril/mythril_analyzer.py @@ -181,7 +181,11 @@ class MythrilAnalyzer: source_data.get_source_from_contracts_list(self.contracts) # Finally, output the results - report = Report(contracts=self.contracts, exceptions=exceptions, execution_info=sym.execution_info) + report = Report( + contracts=self.contracts, + exceptions=exceptions, + execution_info=sym.execution_info, + ) for issue in all_issues: report.append_issue(issue)