JohnnyRevay

Results 2 comments of JohnnyRevay

The proposal is to start clangd as a part of the "Generate patches" run and use LSP to syntactically validate the patches before adding them to the database. I think...

Resp. to be super exact: Mutate_cpp would listen to Clangd LSP messages such as ``` {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"diagnostics":[{"code":"exponent_has_no_digits","message":"Exponent has no digits","range":{"end":{"character":50,"line":210},"start":{"character":49,"line":210}},"relatedInformation":[],"severity":1,"source":"clang"} ``` either during execution of the queue or during generation of...