Avoid needing to build Lean lib for fuzz targets that don't use it

[john-h-kastner-aws]

Category

DRT infrastructure

Describe the feature you'd like to request

To compile any fuzz target we currently link in the lean library even if the fuzz target doesn't do any differential testing (e.g., parser targets and validator prop-test target). We could probably do something with feature flags so that these fuzz targets could be built and run without first building the lean lib.

Describe alternatives you've considered

.

Additional context

No response

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this feature request
• ⚠️ This feature might incur a breaking change

[john-h-kastner-aws]

wip: https://github.com/cedar-policy/cedar-spec/tree/lean-feature-flag