Skip to main content

eval_wprog_config_run

logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function eval_wprog_config_run 

Source 
pub fn eval_wprog_config_run(
    cfg: &WProgConfig,
    params: &[i64],
    heap_init: &[i64],
) -> WRun
Expand description

THE golden interpreter of the flat config — the one body every result / step / heap / depth / output-tape query is a view of. Returns everything a run produces (WRun), including the Show tape.