Skip to main content

lower

logicaffeine_compile::codegen_sva::engine_build

Function lower 

Source 
pub fn lower(
    src: &str,
    func: &str,
    params: &[i64],
) -> Result<(WProgConfig, Lifter, i64), String>
Expand description

Lower func to an engine config the same way the benchmark lane does: the single-function CFG lifter when it agrees with the VM on these params, else the multi-function (call-stack) lifter. Either way the config is PROVEN ≡ VM on the exact params about to be streamed before a byte is emitted.