From 52d32d5cd62033d861a41f21f3884bf91fb18e77 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 15 Jul 2020 13:50:21 +0200
Subject: [PATCH] [MdR] fix minor typos in SARIF output
---
src/plugins/markdown-report/sarif_gen.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/markdown-report/sarif_gen.ml b/src/plugins/markdown-report/sarif_gen.ml
index f3e3ed9226d..16c8a3644bc 100644
--- a/src/plugins/markdown-report/sarif_gen.ml
+++ b/src/plugins/markdown-report/sarif_gen.ml
@@ -63,7 +63,7 @@ let gen_remark alarm =
[ Block
[ Text
(plain
- (Printf.sprintf "This alarms represents a potential %s."
+ (Printf.sprintf "This alarm represents a potential %s."
(Alarms.get_description alarm)
)
)
@@ -172,7 +172,7 @@ let gen_run remarks =
| [] -> rules
| _ ->
Datatype.String.Map.add
- "user-spec" "User written ACSL specification" rules
+ "user-spec" "User-written ACSL specification" rules
in
let rules = make_rule_dictionary rules in
let resources = Resources.create ~rules () in
--
GitLab