Improve names of some global constraint variables

goblint · Oct 20, 2023 · 32be7d5 · 32be7d5
1 parent 53858f2
commit 32be7d5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/analyses/commonPriv.ml b/src/analyses/commonPriv.ml
@@ -84,7 +84,7 @@ struct
   module V =
   struct
     (* TODO: Either3? *)
-    include Printable.Either (Printable.Either (VMutex) (VMutexInits)) (VGlobal)
+    include Printable.Either (struct include Printable.Either (VMutex) (VMutexInits) let name () = "mutex" end) (VGlobal)
     let name () = "MutexGlobals"
     let mutex x: t = `Left (`Left x)
     let mutex_inits: t = `Left (`Right ())

diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -1467,6 +1467,7 @@ struct
   module V =
   struct
     include Printable.Either (S.V) (Printable.Either (Printable.Prod (Node) (C)) (Printable.Prod (CilType.Fundec) (C)))
+    let name () = "longjmp"
     let s x = `Left x
     let longjmpto x = `Right (`Left x)
     let longjmpret x = `Right (`Right x)