Update the title

req_violation
Nikhil Parasaram 5 years ago
parent ed369605d9
commit 17a344cf1c
  1. 2
      mythril/analysis/modules/requirement_violation.py

@ -60,7 +60,7 @@ class RequirementsViolationModule(DetectionModule):
function_name=state.environment.active_function_name, function_name=state.environment.active_function_name,
address=address, address=address,
swc_id=REQUIREMENT_VIOLATION, swc_id=REQUIREMENT_VIOLATION,
title="Requirement violation", title="requirement violation",
severity="Medium", severity="Medium",
description_head=description_head, description_head=description_head,
description_tail=description_tail, description_tail=description_tail,

Loading…
Cancel
Save