Skip to main content

run_vm_concurrent_with_config

Function run_vm_concurrent_with_config 

Source
pub fn run_vm_concurrent_with_config(
    input: &str,
    config: SchedulerConfig,
    seed: u64,
) -> InterpreterResult
Expand description

Run a concurrent program on the VM under an EXPLICIT SchedulerConfig — the same knob surface the AOT bytecode-walker’s stepped scheduler exposes (crate::codegen_c::concurrency::SchedulerKnobs). This is the oracle side of the cross-tier knob equivalence: AOT-at-knobs-K == VM-at-knobs-K. The default-config wrapper is run_vm_concurrent.