Skip to main content

eval_wprog_config_counted_heap

logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function eval_wprog_config_counted_heap 

Source 
pub fn eval_wprog_config_counted_heap(
    cfg: &WProgConfig,
    params: &[i64],
) -> (i64, u64, Vec<i64>)
Expand description

As eval_wprog_config_counted but also returns the final HEAP, so a caller can render a Text result (a char-list [len, byte0..] at the returned pointer) back to a string for verification.