From 56e3ea52cd59e69ebeb4f72c55c01056e8f5a9f3 Mon Sep 17 00:00:00 2001
From: rlazarini <remi.lazarini@cea.fr>
Date: Wed, 9 Oct 2024 14:52:19 +0200
Subject: [PATCH] [Ivette] Change the behavior of the Eva form start button
---
.../src/frama-c/plugins/eva/components/Tools.tsx | 16 +++++++++++++---
1 file changed, 13 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/components/Tools.tsx b/ivette/src/frama-c/plugins/eva/components/Tools.tsx
index 01d9340ce68..078a7fa2bbc 100644
--- a/ivette/src/frama-c/plugins/eva/components/Tools.tsx
+++ b/ivette/src/frama-c/plugins/eva/components/Tools.tsx
@@ -44,7 +44,17 @@ export default function EvaTools(
const countErrors = remote.getErrors();
remote.resetNotified();
- const compute = (): void => { Server.send(Eva.compute, null); };
+ const startAnalysis = () => {
+ setTimeout(() => {
+ if(!remote.hasReset()) Server.send(Eva.compute, null);
+ else startAnalysis();
+ }, 150);
+ }
+
+ const compute = (): void => {
+ if(remote.hasReset()) remote.commit();
+ startAnalysis();
+ };
const abort = (): void => { Server.send(Eva.abort, null); };
const syncFromFC = (): void => { remote.reset(); };
const syncToFC = (): void => { remote.commit(); };
@@ -54,9 +64,9 @@ export default function EvaTools(
<Hbox className='eva-tools-actions'>
<IconButton
icon="MEDIA.PLAY"
- title="Launch Eva analysis"
+ title="Commit changes and launch Eva analysis"
size={iconSize}
- disabled={evaComputed !== "not_computed"}
+ disabled={evaComputed === "computing"}
onClick={compute}
/>
<IconButton
--
GitLab