From ad3e47f085ea700dcd94c3c9a73654dfd7c65c0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 24 Jun 2022 15:18:31 +0200
Subject: [PATCH] [Ivette] Eva domain states: fixes the request call when no
marker is selected.
---
ivette/src/frama-c/plugins/eva/DomainStates.tsx | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/DomainStates.tsx b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
index 4e6015bdd54..dab3218c24a 100644
--- a/ivette/src/frama-c/plugins/eva/DomainStates.tsx
+++ b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
@@ -45,7 +45,8 @@ export function EvaStates(): JSX.Element {
const [stateAfter, setStateAfter] = React.useState("");
const [filter, setFilter] = useGlobalState(globalFilter);
- const states = States.useRequest(Eva.getStates, [marker, filter]);
+ const requestArg = marker ? [marker, filter] : undefined;
+ const states = States.useRequest(Eva.getStates, requestArg);
React.useEffect(() => {
if (states && states.length > 0) {
--
GitLab