diff --git a/ivette/src/frama-c/plugins/eva/Coverage.tsx b/ivette/src/frama-c/plugins/eva/Coverage.tsx index 919ed372370620801559aebf6fa0ffe35e1a9f50..10121c7b44b360d4b094d489bac8ec79f8b0b95e 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 b096f6b9000c14159f2f7fd5a11f1d09ce367ba1..1302c487dd6ff22284bd23ee0292976d9bbe4edb 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> );