Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create a basic validator for a Babel run #14

Open
7 tasks
gaurav opened this issue Sep 22, 2022 · 0 comments
Open
7 tasks

Create a basic validator for a Babel run #14

gaurav opened this issue Sep 22, 2022 · 0 comments

Comments

@gaurav
Copy link
Collaborator

gaurav commented Sep 22, 2022

The goal is to have a program that we can point at a Babel run that runs some basic tests on the generated files, including:

We're also tracking this in the Babel repository at TranslatorSRI/Babel#36

gaurav added a commit that referenced this issue Jan 16, 2023
This PR adds a `validate` command that can be used to validate Babel Outputs. At a minimum it reads through all output files, ensuring that they all exist, are non-empty and are in the right format. Most validations consist of summarizing pieces of information (unique types, unique prefixes) and writing them out in a format that can be used to compare outputs between runs, while others (see #14 for examples) test particular aspects of the file, in particular bugs that have crept into the Babel outputs previously that we can use to ensure that those bugs don't reappear.
@gaurav gaurav added this to the Babel Validation March 2024 milestone Jan 9, 2024
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

No branches or pull requests

1 participant