Closed ptomin closed 5 months ago
Expected: Mem0[id_3 + 2<32>:word32] But was: Mem0[id_3 + 0x00000002<p32>:word32]
Mem0[id_3 + 2<32>:word32]
Mem0[id_3 + 0x00000002<p32>:word32]
Fixed. Thanks for providing the unit test.
Expected:
Mem0[id_3 + 2<32>:word32]
But was:Mem0[id_3 + 0x00000002<p32>:word32]