From 6dde949a4573088c3aa56fc3625b57c52e367312 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 4 Aug 2021 19:27:04 +0200
Subject: [PATCH] [Egraph] print sementic value in debug graph
---
src_colibri2/core/egraph.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src_colibri2/core/egraph.ml b/src_colibri2/core/egraph.ml
index 2c2f38b96..25ddc34a6 100644
--- a/src_colibri2/core/egraph.ml
+++ b/src_colibri2/core/egraph.ml
@@ -396,8 +396,9 @@ let output_graph filename t =
match Only_for_solver.sem_of_node thterm with
| Only_for_solver.ThTerm(sem,v) ->
let (module S) = Nodes.get_thterm sem in
+ let v = S.sem v in
Format.fprintf fmt "| {%a | %s}"
- ThTermKind.pp sem (escape_for_dot S.pp v)
+ ThTermKind.pp sem (escape_for_dot S.SD.pp v)
end
| _ -> ()
in
--
GitLab