Remove GraphML predicate from CFG tests

Author: sim642

src/witness/witness.ml

@@ -8,8 +8,6 @@ module M = Messages
 
 (* Unused *)
 let write_file filename (module Task:Task) (module Arg: MyARG.S with type Edge.t = MyARG.InlineEdge.t): unit =
-  let module Invariant = WitnessUtil.Invariant (Task) in
-
   let module N = Arg.Node in
   let module NH = Hashtbl.Make (N) in
 

tests/regression/00-sanity/19-if-0.t

@@ -11,7 +11,7 @@
   │ 19-if-0.c:15:9-15:27           │                       │ 19-if-0.c:9:5-16:5             │
   │ (19-if-0.c:15:9-15:27)         │                       │ (19-if-0.c:9:9-9:10)           │
   │ YAML loc: 19-if-0.c:15:9-15:27 │  Neg(0)               │ YAML loc: 19-if-0.c:9:5-16:5   │
-  │ GraphML: true; server: true    │ ◀──────────────────── │ GraphML: true; server: true    │
+  │ server: true                   │ ◀──────────────────── │ server: true                   │
   └────────────────────────────────┘                       └────────────────────────────────┘
     │                                                        │
     │                                                        │ Pos(0)
@@ -20,7 +20,7 @@
     │                                                      │ 19-if-0.c:11:9-11:16           │
     │                                                      │ (19-if-0.c:11:9-11:16)         │
     │                                                      │ YAML loc: 19-if-0.c:11:9-11:16 │
-    │                                                      │ GraphML: true; server: true    │
+    │                                                      │ server: true                   │
     │                                                      └────────────────────────────────┘
     │                                                        │
     │                                                        │ stuff()
@@ -29,7 +29,7 @@
     │                                                      │ 19-if-0.c:17:5-17:13           │
     │                                                      │ (19-if-0.c:17:12-17:13)        │
     │                                __goblint_check(1)    │ YAML loc: 19-if-0.c:17:5-17:13 │
-    └────────────────────────────────────────────────────▶ │ GraphML: true; server: true    │
+    └────────────────────────────────────────────────────▶ │ server: true                   │
                                                            └────────────────────────────────┘
                                                              │
                                                              │ return 0

tests/regression/00-sanity/20-if-0-realnode.t

@@ -13,7 +13,7 @@
   │ [20-if-0-realnode.c:9:5-10:5            │   Neg(0)
   │ (unknown)]                              │ ─────────┐
   │ YAML loc: 20-if-0-realnode.c:10:5-16:5  │          │
-  │ GraphML: true; server: true             │ ◀────────┘
+  │ server: true                            │ ◀────────┘
   └─────────────────────────────────────────┘
     │
     │ Pos(0)
@@ -22,7 +22,7 @@
   │ 20-if-0-realnode.c:12:9-12:16           │
   │ (20-if-0-realnode.c:12:9-12:16)         │
   │ YAML loc: 20-if-0-realnode.c:12:9-12:16 │
-  │ GraphML: true; server: true             │
+  │ server: true                            │
   └─────────────────────────────────────────┘
     │
     │ stuff()
@@ -31,7 +31,7 @@
   │ 20-if-0-realnode.c:17:5-17:13           │
   │ (20-if-0-realnode.c:17:12-17:13)        │
   │ YAML loc: 20-if-0-realnode.c:17:5-17:13 │
-  │ GraphML: true; server: true             │
+  │ server: true                            │
   └─────────────────────────────────────────┘
     │
     │ return 0