diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx index 67a3ac94ff09fec721104bf80776d6982df0eed8..9b6d0166a9bdf70458819cd7be4f2a60fb32f755 100644 --- a/ivette/src/frama-c/plugins/eva/valuetable.tsx +++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx @@ -952,7 +952,7 @@ function EvaTable(): JSX.Element { React.useEffect(() => { if (csFct && fcts.isEmpty(csFct) && focus?.fct !== csFct) setCS('Summary'); - }); + }, [ csFct, fcts, focus?.fct ] ); /* Updated the focused Probe when the selection changes. Also emit on the * `locEvent` event. */ @@ -1049,7 +1049,7 @@ function EvaTable(): JSX.Element { }); return Promise.all(ps.map(FunctionSection)); }, - [ cs, fcts, focus, tac, getCallsites, setLocPin, + [ cs, fcts, focus, tac, getCallsites, setLocPin, csFct, getCallstacks, getProbe, remove, select, locEvt ]); const { result: functions } = Dome.usePromise(functionsPromise);