diff --git a/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx b/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx index 39537a19e5caa644252dad7992792ca5405b203c..e9c79e446bec2310c34c9347ee7719b31b6c6535 100644 --- a/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx +++ b/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx @@ -40,7 +40,8 @@ export default function (props: {coverage: Coverage}) { <meter min={0} max={total} - low={0.8 * total} + low={0.50 * total} + high={0.85 * total} optimum={total} value={reachable} /> diff --git a/ivette/src/renderer/style.css b/ivette/src/renderer/style.css index c210426cfccbb0b7b70c7e638c4a6bc3077225a9..a345a1844183fc546a80e154eedc19e4360b5e04 100644 --- a/ivette/src/renderer/style.css +++ b/ivette/src/renderer/style.css @@ -65,3 +65,34 @@ .dome-window-active .labview-icon { fill: #7d7d7d ; } + +/* -------------------------------------------------------------------------- */ +/* --- Meters --- */ +/* -------------------------------------------------------------------------- */ + +meter { + background: white; + border-radius: 5px; + box-shadow: + 0 0 4px 4px rgba(0,0,0,0.15) inset; + height: 16px; + width: 70px; +} + +meter::-webkit-meter-bar { + background: transparent; + border-radius: 5px; + height: 14px; +} + +meter::-webkit-meter-optimum-value { + background: linear-gradient(to bottom, #4a0 0%, #8f0 20%, #4a0 100%); +} + +meter::-webkit-meter-suboptimum-value { + background: linear-gradient(to bottom, #aa0 0%, #ff0 20%, #aa0 100%); +} + +meter::-webkit-meter-even-less-good-value { + background: linear-gradient(to bottom, #a40 0%, #f80 20%, #a40 100%); +}