

def test_write_read_byte_4(self):
    address_size = 32
    memory = ReilMemoryEx(address_size)
    addr0 = 4096
    write_val = 3735928559
    memory.write(addr0, (32 / 8), write_val)
    read_val = memory.read(addr0, (32 / 8))
    self.assertEqual(write_val, read_val)
    addr1 = 16384
    write_val = 3735928559
    memory.write(addr1, (32 / 8), write_val)
    read_val = memory.read(addr1, (32 / 8))
    self.assertEqual(write_val, read_val)
    addrs = memory.read_inverse(3735928559, (32 / 8))
    self.assertEqual(addr0, addrs[0])
    self.assertEqual(addr1, addrs[1])

dataset/ETHPy150Open programa-stic/barf-project/barf/tests/core/reil/test_reilemulator.py ReilMemoryTests.test_write_read_byte_4/original