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

Slim testsuite #286

2 tasks
andreasabel opened this issue Jan 3, 2020 · 0 comments
2 tasks

Slim testsuite #286

andreasabel opened this issue Jan 3, 2020 · 0 comments


Copy link

To make the bnfc-system-tests run faster (currently >1h):

  • Do not run all variants of all backends on all parameterized tests. Select a representative case to run all variants on, and only run selected variants on the parameterized tests.
  • Tests that fail LBNF checking need not run on several backends. In fact, we could have a "backend" --check that only checks the input.
andreasabel added a commit that referenced this issue Jan 3, 2020
New BNFC target --check makes BNFC quit after checking the input LBNF
file, producing no output.

To be used in the fail-lbnf testsuite that ensures that BNFC fails and
gives the correct error messages on ill-formed input.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

No branches or pull requests

1 participant