Struct TraceRecorder 

pub struct TraceRecorder {
    pub trace: Trace,
    /* private fields */
}

Fields

trace: Trace

Implementations

impl TraceRecorder

pub fn new(function_idx: usize, start_ip: usize, max_length: usize) -> Self

pub fn specialize_trace_inputs( &mut self, registers: &[Value; 256], function: &Function, )

Scan live registers at trace entry and specialize any loop-invariant arrays This should be called right after trace recording starts

pub fn record_instruction( &mut self, instruction: Instruction, current_ip: usize, registers: &[Value; 256], function: &Function, function_idx: usize, functions: &[Function], ) -> Result<(), LustError>

pub fn finish(self) -> Trace

pub fn is_recording(&self) -> bool

pub fn abort(&mut self)