Skip to main content

run_to_outcome_observed

Function run_to_outcome_observed 

Source
pub fn run_to_outcome_observed(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    types: Option<&TypeRegistry>,
    policies: Option<&PolicyRegistry>,
) -> (String, Option<String>)
Expand description

run_to_outcome in the OBSERVED profile (Wave 13): Note/Warn/Record/ During lower to Op::Obs, so the VM emits the SAME observation event stream the tree-walker does (into the observe channel — separate from program output). The dev/test differential entry; the compiled/release tiers keep the elided profile. Program output is byte-identical to run_to_outcome.