From 916e2f99704d70166e89ef845210616a0708445c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 15 Oct 2021 13:26:28 +0200
Subject: [PATCH] [Eva] Summary: removes unused Datatypes.
---
src/plugins/value/utils/summary.ml | 50 ++++++++----------------------
1 file changed, 13 insertions(+), 37 deletions(-)
diff --git a/src/plugins/value/utils/summary.ml b/src/plugins/value/utils/summary.ml
index 48a15428b4a..35ccfc63c83 100644
--- a/src/plugins/value/utils/summary.ml
+++ b/src/plugins/value/utils/summary.ml
@@ -123,13 +123,6 @@ module Coverage = struct
let add c1 c2 =
c1.reachable <- c1.reachable + c2.reachable;
c1.dead <- c1.dead + c2.dead
-
- include Datatype.Make (struct
- include Datatype.Serializable_undefined
- type t = coverage
- let name = "Eva.Summary.Coverage"
- let reprs = [make ()]
- end)
end
module Statuses = struct
@@ -143,13 +136,6 @@ module Statuses = struct
| Property_status.True -> c.valid <- c.valid + 1
| Property_status.False_if_reachable
| Property_status.False_and_reachable -> c.invalid <- c.invalid + 1
-
- include Datatype.Make (struct
- include Datatype.Serializable_undefined
- type t = statuses
- let name = "Eva.Summary.Statuses"
- let reprs = [make ()]
- end)
end
module Events = struct
@@ -157,30 +143,8 @@ module Events = struct
{ errors = 0;
warnings = 0; }
let total c = c.errors + c.warnings
-
- include Datatype.Make (struct
- include Datatype.Serializable_undefined
- type t = events
- let name = "Eva.Summary.Events"
- let reprs = [make ()]
- end)
end
-module FunctionStats_Type = Datatype.Make (struct
- module Prototype = struct
- include Datatype.Serializable_undefined
- type t = fun_stats
- let name = "Eva.Value_results.FunctionStats_Type"
- let reprs = [{
- fun_coverage = Coverage.make ();
- fun_alarm_count = [];
- fun_alarm_statuses = Statuses.make ();
- }]
- end
- include (Prototype)
- end)
-
-
(* --- Function stats computation --- *)
let get_status ip =
@@ -207,7 +171,7 @@ let compute_fun_stats kf =
| Property_status.True -> ()
| _ -> AlarmsStats.incr alarms (AlarmCategory.of_alarm alarm)
in
- let do_annot stmt _emmiter annotation =
+ let do_annot stmt _emitter annotation =
match Alarms.find annotation with
| None -> ()
| Some alarm ->
@@ -228,6 +192,18 @@ let compute_fun_stats kf =
fun_alarm_count = AlarmsStats.to_list alarms;
fun_alarm_statuses = statuses; }
+
+module FunctionStats_Type = Datatype.Make (struct
+ include Datatype.Serializable_undefined
+ type t = fun_stats
+ let name = "Eva.Value_results.FunctionStats_Type"
+ let reprs = [{
+ fun_coverage = Coverage.make ();
+ fun_alarm_count = [];
+ fun_alarm_statuses = Statuses.make ();
+ }]
+ end)
+
module FunctionStats = struct
include Kernel_function.Make_Table
(FunctionStats_Type)
--
GitLab