hi, super handy tool, I was wondering if we can pass some of the parameters available from the REST API ?
"filters": {
"binary": false,
"commentOnly": true,
"demangle": true,
"directives": true,
"execute": false,
"intel": true,
"labels": true,
"libraryCode": false,
"trim": false
},
"tools": [
{"id":"clangtidytrunk", "args":"-checks=*"}
],
hi, super handy tool, I was wondering if we can pass some of the parameters available from the REST API ? "filters": { "binary": false, "commentOnly": true, "demangle": true, "directives": true, "execute": false, "intel": true, "labels": true, "libraryCode": false, "trim": false }, "tools": [ {"id":"clangtidytrunk", "args":"-checks=*"} ],