Project

General

Profile

Download (1.78 KB)

Feature #7467 » task-client.json

Vitaly Mordan, 08/26/2016 03:10 PM

 
{
"client": {
"benchexec location": "<...>/klever/addons/benchexec-1.8",
"verifiers": [
{"alias": "cmav", "location": "<...>/klever/addons/CPAchecker-cmav/scripts"},
{"alias": "mpv" , "location": "<...>/klever/addons/CPAchecker-mpv/scripts" }
]
},
"common": {
"working directory": null,
"keep working directory": true,
"logging": {
"version": 1,
"disable_existing_loggers": false,
"formatters": {
"brief": {
"format": "%(name)s %(levelname)5s> %(message)s"
},
"detailed": {
"format": "%(asctime)s (%(filename)s:%(lineno)03d) %(name)s %(levelname)5s> %(message)s"
}
},
"handlers": {
"console": {
"class": "logging.StreamHandler",
"level": "INFO",
"formatter": "brief",
"stream": "ext://sys.stdout"
},
"info_file_handler": {
"class": "logging.handlers.RotatingFileHandler",
"level": "DEBUG",
"formatter": "detailed",
"filename": "info.log",
"maxBytes": 10485760,
"backupCount": 20,
"encoding": "utf8"
},
"error_file_handler": {
"class": "logging.handlers.RotatingFileHandler",
"level": "ERROR",
"formatter": "detailed",
"filename": "errors.log",
"maxBytes": 10485760,
"backupCount": 20,
"encoding": "utf8"
}
},
"loggers": {
"default": {
"level": "ERROR",
"handlers": [
"console"
],
"propagate": "no"
}
},
"root": {
"level": "DEBUG",
"handlers": [
"console",
"info_file_handler",
"error_file_handler"
]
}
}
}
}
(3-3/3)