diff options
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 +} |