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