Skip to main content

eval_wprog_config_faulted

logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function eval_wprog_config_faulted 

Source 
pub fn eval_wprog_config_faulted(
    cfg: &WProgConfig,
    params: &[i64],
    heap_init: &[i64],
    faults: &[WFault],
) -> (i64, u64)
Expand description

The golden interpreter under an injected hardware fault (see WFault). An empty fault set is byte-identical to eval_wprog_config_counted_heap_preloaded.