goblint
diff --git a/‎tests/regression/46-apron2/95-witness-mm-escape.t‎
Lines changed: 1 addition & 1 deletion b/‎tests/regression/46-apron2/95-witness-mm-escape.t‎
Lines changed: 1 addition & 1 deletion
@@ -1,4 +1,4 @@
-  $ goblint --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.entry-types[*] location_invariant --set witness.yaml.validate 95-witness-mm-escape.yml 95-witness-mm-escape.c
+  $ goblint --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.validate 95-witness-mm-escape.yml 95-witness-mm-escape.c
   [Info][Deadcode] Logical lines of code (LLoC) summary:
     live: 7
     dead: 0
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`- $ goblint --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.entry-types[*] location_invariant --set witness.yaml.validate 95-witness-mm-escape.yml 95-witness-mm-escape.c`
	`1`	`+ $ goblint --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.validate 95-witness-mm-escape.yml 95-witness-mm-escape.c`
`2`	`2`	`[Info][Deadcode] Logical lines of code (LLoC) summary:`
`3`	`3`	`live: 7`
`4`	`4`	`dead: 0`