Skip to main content

run_vm_concurrent_traced_with_config

logicaffeine_compile::ui_bridge

Function run_vm_concurrent_traced_with_config 

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

run_vm_concurrent_traced under an explicit SchedulerConfig (the config-parameterized core both the default-config and knobbed entry points delegate to).