From c7a1b850b202cc6588b067cb815dd5a4eb00b6d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 20 Oct 2021 14:10:04 +0200
Subject: [PATCH] [ivette] Coverage table: changes the label and title of some
column headers.
---
ivette/src/frama-c/plugins/eva/Coverage.tsx | 16 +++++++++-------
1 file changed, 9 insertions(+), 7 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/Coverage.tsx b/ivette/src/frama-c/plugins/eva/Coverage.tsx
index 2d11327b2ce..919ed372370 100644
--- a/ivette/src/frama-c/plugins/eva/Coverage.tsx
+++ b/ivette/src/frama-c/plugins/eva/Coverage.tsx
@@ -108,6 +108,7 @@ export function CoverageTable(): JSX.Element {
<Column
id="alarms"
label="Alarms"
+ title="Number of alarms emitted by the Eva analysis"
align="center"
width={80}
getter={({ alarmStatuses }: stats) => (
@@ -117,15 +118,15 @@ export function CoverageTable(): JSX.Element {
<Column
id="sureAlarms"
label="Sure alarms"
- title="Sure alarms"
+ title="Number of sure alarms emitted by the Eva analysis"
align="center"
width={80}
getter={({ alarmStatuses }: stats) => alarmStatuses.invalid}
/>
<Column
id="deadStatements"
- label="Dead statements"
- title="Dead statements"
+ label="Dead"
+ title="Number of statements unreachable to the Eva analysis"
align="center"
visible={false}
width={80}
@@ -135,8 +136,8 @@ export function CoverageTable(): JSX.Element {
/>
<Column
id="reachableStatements"
- label="Reachable statements"
- title="Reachable statements"
+ label="Reachable"
+ title="Number of statements reached by the Eva analysis"
align="center"
visible={false}
width={80}
@@ -146,8 +147,8 @@ export function CoverageTable(): JSX.Element {
/>
<Column
id="totalStatements"
- label="Total statements"
- title="Total statements"
+ label="Total"
+ title="Total number of statements"
align="center"
visible={false}
width={80}
@@ -158,6 +159,7 @@ export function CoverageTable(): JSX.Element {
<Column
id="coverage"
label="Coverage"
+ title="Coverage of the Eva analysis"
align="center"
width={80}
getter={({ coverage }: stats) => (
--
GitLab