chore: adjust coverage number

roypat · roypat · commit 87e2daa020db · 2025-03-21T11:15:25.000Z
Apparently enabling the xen feature made it worse, not better :(

Signed-off-by: Patrick Roy &lt;roypat@amazon.co.uk&gt;
diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json
@@ -1,5 +1,5 @@
 {
-  "coverage_score": 92.92,
+  "coverage_score": 90.51,
   "exclude_path": "mmap_windows.rs",
   "crate_features": "backend-mmap,backend-atomic,backend-bitmap,xen"
 }

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "coverage_score": 92.92,`
	`2`	`+ "coverage_score": 90.51,`
`3`	`3`	`"exclude_path": "mmap_windows.rs",`
`4`	`4`	`"crate_features": "backend-mmap,backend-atomic,backend-bitmap,xen"`
`5`	`5`	`}`