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

Single-compile testing framework #158

Merged
merged 7 commits into from
Jun 26, 2024
Merged

Conversation

JustusAdam
Copy link
Collaborator

@JustusAdam JustusAdam commented Jun 14, 2024

What Changed?

Adds the InlineTestBuilder which can produce a PreFrg compilation result from a string of source code. Integrates with the existing unit test infrastructure.

Why Does It Need To?

This allows to define test cases without needing external files (as used by the current define_test! template) or temporary directories (as used by the Test integration test framework) and more importantly the source code for the test inputs is compiled as-needed, which means e.g. tracing output is only reported for the selected test case, and that when test cases are filtered the tests run faster.

Checklist

  • Above description has been filled out so that upon quash merge we have a
    good record of what changed.
  • New functions, methods, types are documented. Old documentation is updated
    if necessary
  • Documentation in Notion has been updated
  • Tests for new behaviors are provided
    • New test suites (if any) ave been added to the CI tests (in
      .github/workflows/rust.yml) either as compiler test or integration test.
      Or justification for their omission from CI has been provided in this PR
      description.

@JustusAdam JustusAdam self-assigned this Jun 14, 2024
@JustusAdam JustusAdam merged commit b96d18d into main Jun 26, 2024
4 checks passed
@JustusAdam JustusAdam deleted the single-compile-test-framework branch June 26, 2024 22:13
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.

1 participant