Steps to reproduce: Running https://github.com/Orbis-Tertius/tinyram/pull/75 will produce an error with cmpaeGreaterTestCaseL. Expected behavior: Expected to answer 0. Actual behavior: Coq results in 1 which is wrong, and Haskell results in 0 which is correct.
Steps to reproduce:
Running #75 will produce an error with cmpaeGreaterTestCaseL.
Expected behavior:
Expected to answer 0.
Actual behavior:
Coq results in 1 which is wrong, and Haskell results in 0 which is correct.