Make IntDomLifter show similar to pretty

goblint · Jan 2, 2024 · 1864fed · 1864fed
1 parent 19fe5fc
commit 1864fed
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/cdomains/intDomain.ml b/src/cdomains/intDomain.ml
@@ -407,7 +407,11 @@ struct
   let widen = lift2 I.widen
   let narrow = lift2 I.narrow
 
-  let show x = I.show x.v  (* TODO add ikind to output *)
+  let show x =
+    if I.is_top_of x.ikind x.v then
+      "⊤"
+    else
+      I.show x.v  (* TODO add ikind to output *)
   let pretty () x =
     if I.is_top_of x.ikind x.v then
       Pretty.text "⊤"