Skip to main content

run_cli

logicaffeine_cli::interface::lean::pipeline

Function run_cli 

Source 
pub fn run_cli(
    arguments: impl IntoIterator<Item = OsString>,
    stdout: &mut dyn Write,
    stderr: &mut (dyn Write + Send),
) -> i32
Expand description

The Lean Kernel Arena benchmark protocol: one input path, ACCEPT on stdout and exit 0 on acceptance, exit 1 on rejection, exit 2 on decline. Kept byte-for-byte for benchmark consumers.