Skip to main content

compute_trace_diff

telltale_bridge::protocol_machine_runner

Function compute_trace_diff 

Source 
pub fn compute_trace_diff(
    rust_trace: &[TickedObsEvent<ProtocolMachineTraceEvent>],
    lean_trace: &[TickedObsEvent<ProtocolMachineTraceEvent>],
) -> Option<Value>
Expand description

Compute a structured diff for two normalized semantic audits.