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.

Sign up for GitHub

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

Jump to bottom

Add Congruence Class Registry JUnit to Continuous Integration #388

Open
yushan87 opened this issue Jul 11, 2022 · 0 comments
Open

Add Congruence Class Registry JUnit to Continuous Integration #388

yushan87 opened this issue Jul 11, 2022 · 0 comments
Assignees
@yushan87 @nmsafiri
Labels
bugfix newfeature prover

Comments

@yushan87
Copy link
Member

As of right now, the congruence class registry doesn't fully handle all the unit tests. Once it is working, we will add it to the continuous integration to ensure future changes don't break it.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yushan87 yushan87

@nmsafiri nmsafiri

Labels
bugfix newfeature prover
Projects
RESOLVE v2024.1
Status: No status
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yushan87 @nmsafiri