diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 3b17203e0f85c0b7491a1c4c699df9f12be2c1c6..b1f806a19cd992220f8cd03930db0ec022528d29 100644 --- a/ivette/src/frama-c/plugins/eva/style.css +++ b/ivette/src/frama-c/plugins/eva/style.css @@ -189,6 +189,11 @@ align-content: start; } +.eva-nb-callstacks { + color: var(--info-text); + padding-right: 11px; +} + /* -------------------------------------------------------------------------- */ /* --- Table Headers CSS --- */ /* -------------------------------------------------------------------------- */ diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx index 208daf158ffac4d182a1ff1593ec3592600d3358..21dab982089560c17947c6381244aa3fe37a99a3 100644 --- a/ivette/src/frama-c/plugins/eva/valuetable.tsx +++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx @@ -743,6 +743,12 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> { /> <Cell className="eva-fct-name">{fct}</Cell> <Filler /> + <div + className='eva-nb-callstacks' + style={{ display: byCallstacks ? 'block' : 'none' }} + > + {`${callstacks.length} callstacks`} + </div> <IconButton icon="ITEMS.LIST" className="eva-probeinfo-button"