update coverage

bonzini · jiangliu · commit 2099f4162f97 · 2020-02-19T19:09:32.000+08:00
Signed-off-by: Paolo Bonzini &lt;pbonzini@redhat.com&gt;
diff --git a/coverage_config.json b/coverage_config.json
@@ -1,5 +1,5 @@
 {
-  "coverage_score": 84.3,
+  "coverage_score": 84.8,
   "exclude_path": "mmap_windows.rs",
   "crate_features": "backend-mmap,backend-atomic"
 }

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