pub fn plan(prog: &CompiledProgram, mode: ReverseMode) -> Vec<JournalDecision>Expand description
Per-pc journaling decisions for a recording run in mode. FullState keeps everything (today’s
behaviour, made explicit); the pebbling modes elide scratch whose destroyed value no reverse step
reads. Indexed by absolute pc in CompiledProgram::code.