Support generating corpus tests for more targets

[khieta]

Category

DRT infrastructure

Describe the feature you'd like to request

Currently, corpus tests (stored in https://github.com/cedar-policy/cedar-integration-tests) can only be generated for the abac and abac-type-directed targets. The tests currently stored in the integration tests repo come from the abac target. (There is no particular reason we aren't using the type-directed corpus instead, we just don't have evidence for which is more useful. We could also just use both corpuses for integration testing.)

Both the abac and abac-type-directed targets generate a single static policy per test. Our integration tests would be more complete if we instead generated multiple policies, including policy templates/links. Currently, only one of our targets (rbac) generates multiple policies & policy templates. We should set up corpus test generation for this target (as well as other targets that seem useful) and include these test cases in the corpus.

Describe alternatives you've considered

No response

Additional context

The code that supports generating corpus tests from fuzz inputs is mostly in https://github.com/cedar-policy/cedar-spec/blob/main/cedar-drt/fuzz/src/dump.rs

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