From 36e53a1c042ccaa08662b0d6edf5accc08a0fde9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 1 Mar 2023 11:26:01 +0100
Subject: [PATCH] [dive] Do not stop Frama-C when the Eva analysis has not been
computed.
Just returns a request failure.
---
src/plugins/dive/server_interface.ml | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index 653200eb3cf..bfff3fc2128 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -43,11 +43,7 @@ let get_context =
context := Some c;
c
else
- begin
- Self.error ~once:true
- "A prior Eva analysis is required to build the graphs.";
- Server.Data.failure "Eva analysis not computed"
- end
+ Server.Data.failure "Eva analysis not computed"
let global_window = ref {
--
GitLab