From a570e0e77e2927cef61d1db8a591f5a0c20dede2 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 2 Jul 2020 20:45:37 +0200
Subject: [PATCH] [dive] do not send bottom values
---
src/plugins/dive/dive_graph.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/dive/dive_graph.ml b/src/plugins/dive/dive_graph.ml
index c6b7bf4ace1..ec524bd1872 100644
--- a/src/plugins/dive/dive_graph.ml
+++ b/src/plugins/dive/dive_graph.ml
@@ -303,6 +303,7 @@ struct
let output_node_values values =
match values with
| None -> `Null
+ | Some cvalue when Cvalue.V.is_bottom cvalue -> `Null
| Some cvalue -> `String (Pretty_utils.to_string Cvalue.V.pretty cvalue)
let output_node node =
--
GitLab