From 17a344cf1cd05210407f1e1e6092d3742af9e22a Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Thu, 6 Feb 2020 13:59:30 +0000 Subject: [PATCH] Update the title --- mythril/analysis/modules/requirement_violation.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/requirement_violation.py b/mythril/analysis/modules/requirement_violation.py index 16564ec2..1638ffa4 100644 --- a/mythril/analysis/modules/requirement_violation.py +++ b/mythril/analysis/modules/requirement_violation.py @@ -60,7 +60,7 @@ class RequirementsViolationModule(DetectionModule): function_name=state.environment.active_function_name, address=address, swc_id=REQUIREMENT_VIOLATION, - title="Requirement violation", + title="requirement violation", severity="Medium", description_head=description_head, description_tail=description_tail,