Closed enzoevers closed 1 year ago
Copy or move mythril/results/${contractName}/${contractName}-graph-Mythril.html to the report_output_rel_path/${contractName}/ folder
mythril/results/${contractName}/${contractName}-graph-Mythril.html
report_output_rel_path/${contractName}/
WIll close due to no priority for now. Needs to be determined if this will be useful or not.
Copy or move
mythril/results/${contractName}/${contractName}-graph-Mythril.html
to thereport_output_rel_path/${contractName}/
folder