diff options
author | Grigory Bazilevich <g.bazilevich@ispras.ru> | 2025-03-05 12:30:38 +0300 |
---|---|---|
committer | Grigory Bazilevich <g.bazilevich@ispras.ru> | 2025-03-05 12:30:38 +0300 |
commit | 2d17b7ae38ed640417e9c5f5fe7db4b4dde45e03 (patch) | |
tree | 173ccfb5a1d02c954c7f12a1325b7263b8aa4f77 /config.json |
feat: init repository and publish first version
Diffstat (limited to 'config.json')
-rw-r--r-- | config.json | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/config.json b/config.json new file mode 100644 index 0000000..60d25f5 --- /dev/null +++ b/config.json @@ -0,0 +1,32 @@ +{ + "managers": [ + { + "name": "local syz_manager", + "http_url": "http://localhost:56741" + } + ], + "endpoints": [ + { + "name": "crashes", + "http_uri": "/", + "crashes": true + }, + { + "name": "coverage_PCs", + "http_uri": "/rawcover", + "has_header": false + }, + { + "name": "coverage_PCs_with_file_info", + "http_uri": "/rawcoverfiles", + "has_header": true + }, + { + "name": "metrics", + "http_uri": "/metrics", + "metrics": true + } + ], + "reports_dir": "./reports/", + "timeout": 600 +} |