diff options
| author | Grigory Bazilevich <g.bazilevich@ispras.ru> | 2025-03-06 23:07:54 +0300 |
|---|---|---|
| committer | Grigory Bazilevich <g.bazilevich@ispras.ru> | 2025-03-06 23:07:54 +0300 |
| commit | 303dee1af031273954087097cdc703cbe554cfa0 (patch) | |
| tree | 50a553e96cfa5e23daf945acbd354f7d7fa6a65b /config.json | |
| parent | 10883847b5ebcb37d3299f712ac2a8a8cc307e5a (diff) | |
feat: async task execution + improved metrics handling
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/", |