From 5211cbf05152727e9b1ecf5ea4096eb94041bbed Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 13 Dec 2018 15:32:13 +0100
Subject: [PATCH] Use proper option names for arguments of
`Dynamic.Parameter.*.get`
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
It appears that the alias mechanism does not inform `Dynamic` of the aliases 😞
---
src/plugins/markdown-report/eva_coverage.ml | 4 ++--
src/plugins/markdown-report/md_gen.ml | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/markdown-report/eva_coverage.ml b/src/plugins/markdown-report/eva_coverage.ml
index 70c5f4bc12f..acd96c0940f 100644
--- a/src/plugins/markdown-report/eva_coverage.ml
+++ b/src/plugins/markdown-report/eva_coverage.ml
@@ -49,12 +49,12 @@ let is_analyzed_function vi =
(Mdr_params.Stubs.get())) &&
not (List.mem vi.vname
(String.split_on_char ','
- (Dynamic.Parameter.String.get "-val-use-spec" ()))) &&
+ (Dynamic.Parameter.String.get "-eva-use-spec" ()))) &&
not (List.mem vi.vname
(List.map
(fun s -> List.hd (String.split_on_char ':' s))
(String.split_on_char ','
- (Dynamic.Parameter.String.get "-val-builtin" ()))))
+ (Dynamic.Parameter.String.get "-eva-builtin" ()))))
let is_analyzed_info vi info = {info with is_analyzed=is_analyzed_function vi; }
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 9f0804e6d5d..f364f505685 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -93,7 +93,7 @@ let section_stubs env =
)
in
let stubbed_kf = List.filter Kernel_function.is_definition stubbed_kf in
- let opt = Dynamic.Parameter.String.get "-val-use-spec" () in
+ let opt = Dynamic.Parameter.String.get "-eva-use-spec" () in
(* NB: requires OCaml >= 4.04 *)
let l = String.split_on_char ',' opt in
let use_spec =
--
GitLab