This PR adds new flags --no-function-events (and --function-events) to control if function events (declare-function/define-function) are emitted into JSON (only). This is a quick backwards-compatibility patch, as function events are now generated for every existing problem.
Using this flag is discouraged and prints a warning, so don't do it unless your tooling doesn't handle function events yet.
This PR adds new flags
--no-function-events(and--function-events) to control if function events (declare-function/define-function) are emitted into JSON (only). This is a quick backwards-compatibility patch, as function events are now generated for every existing problem.Using this flag is discouraged and prints a warning, so don't do it unless your tooling doesn't handle function events yet.