Commit e50be496 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[MdR] put list of invocations in correct order

parent 2c514004
...@@ -47,6 +47,10 @@ let get_remark remarks label = ...@@ -47,6 +47,10 @@ let get_remark remarks label =
| None -> [] | None -> []
| Some l -> l | 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 = module Analysis_cmdline =
State_builder.List_ref(Datatype.List(Datatype.String)) State_builder.List_ref(Datatype.List(Datatype.String))
(struct (struct
...@@ -70,7 +74,7 @@ let gen_invocation () = ...@@ -70,7 +74,7 @@ let gen_invocation () =
let arguments = List.tl cl in let arguments = List.tl cl in
Invocation.create ~commandLine ~arguments () Invocation.create ~commandLine ~arguments ()
in in
List.map gen_one cls List.rev_map gen_one cls
let gen_remark alarm = let gen_remark alarm =
let open Markdown in let open Markdown in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment