From 29f0d84db0323844b6139bbab4eea95de4ba37e2 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 1 Apr 2022 16:12:35 +0200
Subject: [PATCH] [ivette] English fix
---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 9b6d0166a9b..122f29a0600 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"
--
GitLab