From 9d98663d08cb6c4e98975edb1bf305b0f46b1e07 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 4 Oct 2021 17:46:03 +0200
Subject: [PATCH] [ivette] Add dead/reachable/total statements count to the
coverage table
---
ivette/src/frama-c/plugins/eva/Coverage.tsx | 46 +++++++++++++++++++++
1 file changed, 46 insertions(+)
diff --git a/ivette/src/frama-c/plugins/eva/Coverage.tsx b/ivette/src/frama-c/plugins/eva/Coverage.tsx
index 6de2baa518b..0c656259992 100644
--- a/ivette/src/frama-c/plugins/eva/Coverage.tsx
+++ b/ivette/src/frama-c/plugins/eva/Coverage.tsx
@@ -50,6 +50,19 @@ const ordering: Arrays.ByColumns<stats> = {
sureAlarms: Compare.byFields(
{ alarmStatuses: Compare.byFields({ invalid: Compare.number }) },
),
+ deadStatements: Compare.byFields({
+ coverage: Compare.byFields(
+ { dead: Compare.number },
+ ),
+ }),
+ reachableStatements: Compare.byFields({
+ coverage: Compare.byFields(
+ { reachable: Compare.number },
+ ),
+ }),
+ totalStatements: Compare.byFields(
+ { coverage: map((x) => x.reachable + x.dead, Compare.number) },
+ ),
coverage: Compare.byFields(
{
coverage: map(
@@ -111,6 +124,39 @@ export function CoverageTable(): JSX.Element {
width={80}
getter={({ alarmStatuses }: stats) => alarmStatuses.invalid}
/>
+ <Column
+ id="deadStatements"
+ label="Dead statements"
+ title="Dead statements"
+ align="center"
+ visible={false}
+ width={80}
+ getter={({ coverage }: stats) => (
+ coverage.dead
+ )}
+ />
+ <Column
+ id="reachableStatements"
+ label="Reachable statements"
+ title="Reachable statements"
+ align="center"
+ visible={false}
+ width={80}
+ getter={({ coverage }: stats) => (
+ coverage.reachable
+ )}
+ />
+ <Column
+ id="totalStatements"
+ label="Total statements"
+ title="Total statements"
+ align="center"
+ visible={false}
+ width={80}
+ getter={({ coverage }: stats) => (
+ coverage.dead + coverage.reachable
+ )}
+ />
<Column
id="coverage"
label="Coverage"
--
GitLab