Every input state change current results in a write immediately to the replay file. This is not optimal and we should instead allow support for writing to an intermediate buffer and batching our writes.
Initially, we should just rely on the printf buffer and change the buffering type to not flush on newline.
Every input state change current results in a write immediately to the replay file. This is not optimal and we should instead allow support for writing to an intermediate buffer and batching our writes.
Initially, we should just rely on the
printf
buffer and change the buffering type to not flush on newline.