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

Test suite #16

Open
pi8027 opened this issue Dec 18, 2020 · 2 comments
Open

Test suite #16

pi8027 opened this issue Dec 18, 2020 · 2 comments
Labels
good first issue Good for newcomers

Comments

@pi8027
Copy link
Member

pi8027 commented Dec 18, 2020 •
edited
Loading

We need a test suite automatically run by CI, and also extensive test cases to detect regressions. I think it makes sense to include example.v in it.
@pi8027
Copy link
Member Author

pi8027 commented Sep 27, 2021

We still need extensive test cases to detect regressions. It would also be nice to have more examples demonstrating the usefulness of mczify. Contributions are welcome.

@pi8027 pi8027 added the good first issue Good for newcomers label Sep 27, 2021
@pi8027
Copy link
Member Author

pi8027 commented Nov 5, 2021

I added some more test cases, but there are still many missing cases: https://github.com/math-comp/mczify/blob/8481446a34ee53cf24639210877ed9f7dd1dcf92/examples/test_ssreflect.v

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pi8027