From e50be4965ba71849d137d60782a35ece9b92b6f7 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 2 Oct 2020 08:19:12 +0200
Subject: [PATCH] [MdR] put list of invocations in correct order
---
src/plugins/markdown-report/sarif_gen.ml | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/sarif_gen.ml b/src/plugins/markdown-report/sarif_gen.ml
index 5d05776a74f..fce40cc7d22 100644
--- a/src/plugins/markdown-report/sarif_gen.ml
+++ b/src/plugins/markdown-report/sarif_gen.ml
@@ -47,6 +47,10 @@ let get_remark remarks label =
| None -> []
| Some l -> l
+(* keep track of command line arguments for all invocations of Frama-C during
+ a save/load sequence. Note that the list is in reverse order
+ (newest invocation first).
+*)
module Analysis_cmdline =
State_builder.List_ref(Datatype.List(Datatype.String))
(struct
@@ -70,7 +74,7 @@ let gen_invocation () =
let arguments = List.tl cl in
Invocation.create ~commandLine ~arguments ()
in
- List.map gen_one cls
+ List.rev_map gen_one cls
let gen_remark alarm =
let open Markdown in
--
GitLab