From a85dfd7657cfda4406984d63020971264a25cdd4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 5 Nov 2021 12:10:53 +0100
Subject: [PATCH] [ivette] Eva values: minor simplification.
---
ivette/src/frama-c/plugins/eva/model.ts | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/model.ts b/ivette/src/frama-c/plugins/eva/model.ts
index 0f68b3c36b9..e2ecf1b76da 100644
--- a/ivette/src/frama-c/plugins/eva/model.ts
+++ b/ivette/src/frama-c/plugins/eva/model.ts
@@ -127,10 +127,9 @@ export class Model implements ModelCallbacks {
let selected = false;
this.probes.forEach((p) => {
if (p.fct === fct) {
+ p.setTransient();
if (this.selected === p)
selected = true;
- if (!p.transient)
- p.setTransient();
}
});
if (selected)
--
GitLab