Skip to content

Passing arguments to instrumentation backends #3906

@aantron

Description

@aantron

Bisect_ppx's PPX has several arguments for tweaking its behavior. I suggest something like

(instrumentation (backend bisect_ppx --foo --bar))

as a way to pass them. At the moment, I see no way available of doing this.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions