Steps to reproduce: Running https://github.com/Orbis-Tertius/tinyram/pull/96 will produce an error with the notFlagTestCase Expected behavior: Expected to answer -11. (65524) Actual behavior: Coq results in 65535 which is wrong, and Haskell results in 65524 which is correct.
Steps to reproduce:
Running #96 will produce an error with the notFlagTestCase
Expected behavior:
Expected to answer -11. (65524)
Actual behavior:
Coq results in 65535 which is wrong, and Haskell results in 65524 which is correct.