search

Orbis-Tertius / tinyram

A vnTinyRAM emulator.
Apache License 2.0
4 stars 1 forks source link

TinyRam and Coq Answer Discrepancy Bug in regards to the Or Instruction. #58

Closed derekverbrugge closed 2 years ago

derekverbrugge commented 2 years ago

Steps to reproduce: Running the test https://github.com/Orbis-Tertius/tinyram/pull/57 as is should reproduce the error.

Expected behavior: Both Coq and TinyRam should answer 63 for the orTestCase.

Actual behavior: Coq answers 0 and TinyRam answers 58.

derekverbrugge commented 2 years ago

Bug solved. Saved to the wrong register.