diff options
Diffstat (limited to 'config.json')
| -rw-r--r-- | config.json | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/config.json b/config.json index 60d25f5..248d5f4 100644 --- a/config.json +++ b/config.json @@ -2,7 +2,8 @@ "managers": [ { "name": "local syz_manager", - "http_url": "http://localhost:56741" + "http_url": "http://localhost:56741", + "need_expert_mode": false } ], "endpoints": [ @@ -12,6 +13,11 @@ "crashes": true }, { + "name": "metrics", + "http_uri": "/", + "metrics": true + }, + { "name": "coverage_PCs", "http_uri": "/rawcover", "has_header": false @@ -20,11 +26,6 @@ "name": "coverage_PCs_with_file_info", "http_uri": "/rawcoverfiles", "has_header": true - }, - { - "name": "metrics", - "http_uri": "/metrics", - "metrics": true } ], "reports_dir": "./reports/", |