hacspec
Quickcheck tests incorrect
Description
Displays an issue with BLS12-381 quickcheck tests! (Found using coq impl.)
A good description answers the following questions.
- Is it possible to understand the design of your change from the description?
- What other alternatives were considered and why did you select the proposed version?
- What are the possible side-effects or negative impacts of the code change?
- How did you verify that all new functionality works as expected?
- How did you verify that all changed functionality works as expected?
- How did you verify that the change has not introduced any regressions?
- Describe the actions you performed (including buttons you clicked, text you typed, commands you ran, etc.), and describe the results you observed.
🚨 Please review the guidelines for contributing to this repository.
By making a contribution to this project, I certify that:
(a) The contribution was created in whole or in part by me and I have the right to submit it under the MIT license; or
(b) The contribution is based upon previous work that, to the best of my knowledge, is covered under an appropriate open source license and I have the right under that license to submit that work with modifications, whether created in whole or in part by me, under the MIT license; or
(c) The contribution was provided directly to me by some other person who certified (a), (b) or (c) and I have not modified it.
(d) I understand and agree that this project and the contribution are public and that a record of the contribution (including all personal information I submit with it) is maintained indefinitely and may be redistributed consistent with this project or the open source license(s) involved.
If it's not possible to get a good idea of what the code will be doing from the PR description here, the pull request may be closed. Keep in mind that the reviewer may not be familiar with or have worked with the code here recently, so please walk us through the concepts. --->
Checklist
- [X] The description above is sufficient to understand the PR
- [X] The code compiles correctly
- [X] The code is tested
- [ ] All tests are passing
- [X] The code can be published under the MIT license
💕 Thank you!
