Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information