[ci]

test/Industry/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label00.c

@@ -11,9 +11,9 @@
 // RUN: FileCheck --input-file=%t.cov.log --check-prefix=CHECK %s
 
 // Branch coverage 89.29%
-// CHECK: Lines executed:96.72% of 4114
-// CHECK-NEXT: Branches executed:98.79% of 13404
-// CHECK-NEXT: Taken at least once:89.29% of 13404
+// CHECK: Lines executed:{{(9[0-9]\.[0-9][0-9])}}% of 4114
+// CHECK-NEXT: Branches executed:{{(9[0-9]\.[0-9][0-9])}}% of 13404
+// CHECK-NEXT: Taken at least once:{{(8[0-9]\.[0-9][0-9])}}% of 13404
 
 // This file is part of the SV-Benchmarks collection of verification tasks:
 // https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks