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

Avoid test conflicts between peano and chess #1617

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Commits on Oct 1, 2024

  1. Avoid test conflicts between peano and chess

    Basically there are two kinds of tests:
    1) tests which can use either compiler
    2) tests which specifically use one or the other
    
    We need to be careful in the second case to not mix the two compilers.
    stephenneuendorffer committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    9ce4d82 View commit details
    Browse the repository at this point in the history
  2. more..

    stephenneuendorffer committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    845fd6e View commit details
    Browse the repository at this point in the history
  3. [AIE1] Add some missing stream wrappers

    There was a test for this, but it wasn't getting run.
    stephenneuendorffer committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b749b3c View commit details
    Browse the repository at this point in the history