diff --git a/ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx b/ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx index 697b7d8f3dbfb8c7c41d102b203d819ccda8817e..f802af16332c7f14559476775ecae989657789bf 100644 --- a/ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx +++ b/ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx @@ -316,26 +316,26 @@ export type EvaStatus = { export const evaBasicStatus: EvaStatus = { 'undefined': { message: "Eva state undefined.", - title: "Undefined", + title: "No communication established with the Frama-C server.", icon: "CROSS", }, 'not_computed': { - message: "No Eva analysis has been run yet.", - title: "not_computed", + message: "No Eva analysis.", + title: "No Eva analysis has been run yet.", icon: "CROSS", }, 'computing': { message: "Eva analysis in progress…", - title: "computing", + title: "The Eva analysis is currently ongoing.", icon: "SPINNER", }, 'computed': { - message: "", - title: "computed", + message: "Eva analysis successfully completed.", + title: "The Eva analysis has completed successfully.", icon: "CHECK", }, 'aborted': { - message: "", + message: "Eva analysis aborted.", title: "The Eva analysis has been prematurely aborted by an internal error "+ "or a user interruption : "+ diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 9a0dc835fc68ae05e4b8980360e08f4fbd6f5017..5096365be5e416aca544f153afd8d324c13dd525 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -334,14 +334,10 @@ tr:first-of-type > .eva-table-callsite-box { background-color: var(--background-report); } -.eva-status-icon.eva-computing svg { - fill: var(--eva-alarms-unknown); -} +.eva-status-icon.eva-computing { fill: var(--eva-alarms-unknown); } .eva-status-icon.eva-aborted { fill: var(--eva-alarms-unknown); } .eva-status-icon.eva-computed { fill: var(--eva-alarms-true); } -.eva-status-icon.eva-not_computed { - fill: var(--eva-alarms-false); -} +.eva-status-icon.eva-not_computed { fill: var(--eva-alarms-false); } /* -------------------------------------------------------------------------- */ /* --- Sidebar Eva --- */