From 3fe455cef155678630502d3d0f573f603e88da44 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 19 Nov 2021 17:36:30 +0100
Subject: [PATCH] [Eva] multidim: more readable bound pretty printing
---
src/kernel_services/abstract_interp/abstract_memory.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/kernel_services/abstract_interp/abstract_memory.ml b/src/kernel_services/abstract_interp/abstract_memory.ml
index eda35089182..a250acd10d3 100644
--- a/src/kernel_services/abstract_interp/abstract_memory.ml
+++ b/src/kernel_services/abstract_interp/abstract_memory.ml
@@ -331,6 +331,8 @@ struct
let pretty fmt : t -> unit = function
| Const i -> Integer.pretty fmt i
| Exp (e,i) when Integer.is_zero i -> Exp.pretty fmt e
+ | Exp (e,i) when Integer.(lt i zero) ->
+ Format.fprintf fmt "%a - %a" Exp.pretty e Integer.pretty (Integer.neg i)
| Exp (e,i) ->
Format.fprintf fmt "%a + %a" Exp.pretty e Integer.pretty i
| _ -> raise Not_implemented
--
GitLab