From 783feb74e32aa05d30d0a21e9261cd9e99eb77c7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 27 Jul 2023 17:25:10 +0200
Subject: [PATCH] [build] no coverage for GUIs

---
 src/plugins/eva/dune | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index e2c9a5d3e0a..589387e2eda 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -59,8 +59,7 @@
   (public_name frama-c-eva.gui)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Eva__Private :standard -w -9 -alert -db_deprecated)
   (libraries eva frama-c.kernel frama-c.gui)
-  (instrumentation (backend landmarks))
-  (instrumentation (backend bisect_ppx))))
+  (instrumentation (backend landmarks))))
 
 (plugin
  (name eva-gui)
-- 
GitLab