Test suite

Open pi8027 opened this issue 5 years ago • 2 comments

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.

Dec 18 '20 08:12 pi8027

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.

Sep 27 '21 13:09 pi8027

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

Nov 05 '21 11:11 pi8027