pull/1411/head
Joran Honig 4 years ago
parent ee2da9f6c7
commit 65f5ff1d3b
  1. 7
      mythril/analysis/report.py
  2. 6
      mythril/mythril/mythril_analyzer.py

@ -185,7 +185,12 @@ class Report:
loader=PackageLoader("mythril.analysis"), trim_blocks=True 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: :param contracts:

@ -181,7 +181,11 @@ class MythrilAnalyzer:
source_data.get_source_from_contracts_list(self.contracts) source_data.get_source_from_contracts_list(self.contracts)
# Finally, output the results # 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: for issue in all_issues:
report.append_issue(issue) report.append_issue(issue)

Loading…
Cancel
Save