diff options
Diffstat (limited to 'coverage_config_x86_64.json')
| -rw-r--r-- | coverage_config_x86_64.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json deleted file mode 100644 index c3e6939..0000000 --- a/coverage_config_x86_64.json +++ /dev/null @@ -1 +0,0 @@ -{"coverage_score": 82.3, "exclude_path": "src/vhost_kern/", "crate_features": "vhost-user-master,vhost-user-slave"} |