def test_write_read_byte_4(self):
        address_size = 32
        memory = ReilMemoryEx(address_size)

        addr0 = 0x00001000
        write_val = 0xdeadbeef

        memory.write(addr0, 32 / 8, write_val)
        read_val = memory.read(addr0, 32 / 8)

        self.assertEqual(write_val, read_val)

        addr1 = 0x00004000
        write_val = 0xdeadbeef

        memory.write(addr1, 32 / 8, write_val)
        read_val = memory.read(addr1, 32 / 8)

        self.assertEqual(write_val, read_val)

        addrs = memory.read_inverse(0xdeadbeef, 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