From c6f808290bf41bd7f21dbf80be3f259528993154 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 20 Oct 2021 16:41:06 +0200
Subject: [PATCH] [ivette] Eva coverage and summary: slightly changes some
 texts.

---
 ivette/src/frama-c/plugins/eva/Coverage.tsx | 2 +-
 ivette/src/frama-c/plugins/eva/Summary.tsx  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ivette/src/frama-c/plugins/eva/Coverage.tsx b/ivette/src/frama-c/plugins/eva/Coverage.tsx
index 919ed372370..10121c7b44b 100644
--- a/ivette/src/frama-c/plugins/eva/Coverage.tsx
+++ b/ivette/src/frama-c/plugins/eva/Coverage.tsx
@@ -195,7 +195,7 @@ Ivette.registerComponent({
   group: 'frama-c.plugins',
   rank: 10,
   label: 'Eva Coverage',
-  title: 'Detailed coverage and results of the Eva analysis',
+  title: 'Detailed coverage of the Eva analysis',
   children: <CoverageComponent />,
 });
 
diff --git a/ivette/src/frama-c/plugins/eva/Summary.tsx b/ivette/src/frama-c/plugins/eva/Summary.tsx
index b096f6b9000..1302c487dd6 100644
--- a/ivette/src/frama-c/plugins/eva/Summary.tsx
+++ b/ivette/src/frama-c/plugins/eva/Summary.tsx
@@ -211,15 +211,15 @@ export function EvaSummary(): JSX.Element {
   if (state === 'not_computed')
     return (
       <div className="eva-summary-status">
-        Eva analysis not run yet.
+        No Eva analysis has been run yet.
       </div>
     );
 
   if (state === 'computing')
     return (
       <div className="eva-summary-status">
-        Eva analysis running.
         <LED status="active" blink />
+        Eva analysis in progress…
       </div>
     );
 
-- 
GitLab