Skip to content

Add JSON interface for Lean code#160

Merged
khieta merged 5 commits intomainfrom
khieta/lean-deserialization
Nov 29, 2023
Merged

Add JSON interface for Lean code#160
khieta merged 5 commits intomainfrom
khieta/lean-deserialization

Conversation

@khieta
Copy link
Contributor

@khieta khieta commented Nov 22, 2023

Issue #, if available:

Description of changes:

This PR adds the interface for differential testing: in particular, it defines isAuthorizedDRT and validateDRT which use JSON input/output. It also adds a simple command line interface for testing and a couple example inputs generated from our cedar integration tests. This code was split out from PR #158 to make the final PR more manageable.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@khieta khieta mentioned this pull request Nov 22, 2023
@andrewmwells-amazon
Copy link
Contributor

LGTM

@khieta
Copy link
Contributor Author

khieta commented Nov 29, 2023

Most recent commit updates the parser & examples with the change noted in #163

@khieta khieta merged commit 4a87db3 into main Nov 29, 2023
@khieta khieta deleted the khieta/lean-deserialization branch November 29, 2023 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants