diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx index 9b6d0166a9bdf70458819cd7be4f2a60fb32f755..122f29a06003ba61837702bd1d31ee3c54115fc5 100644 --- a/ivette/src/frama-c/plugins/eva/valuetable.tsx +++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx @@ -683,6 +683,7 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> { /* Builds the component */ const doCall = data.length > 0; + const nbCS = allCallstacks.length; return ( <> <Hpack className="eva-function"> @@ -694,7 +695,7 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> { <Cell className="eva-fct-name">{fct}</Cell> <Filler /> <div className='eva-nb-callstacks'> - {`${allCallstacks.length} callstacks`} + {`${nbCS} callstack${nbCS > 1 ? 's' : ''}`} </div> <IconButton icon="ITEMS.LIST"