pub fn write_encoded_memory(
relocated_memory: &[Option<Felt252>],
dest: &mut impl BinaryWrite,
) -> Result<(), EncodeTraceError>Expand description
Writes the relocated memory binary representation.
The memory pairs (address, value) are little-endian encoded and concatenated:
- address: 8-byte
- value: 32-byte