Function check_case_output 

pub fn check_case_output(
    case: &VerifyCase,
    combined: &str,
    succeeded: bool,
    timed_out: bool,
) -> Result<(), String>

Check one case’s RUN RESULT against its expectations — the run-mechanism- agnostic half of run_case. combined is the merged stdout+stderr the run produced; succeeded is its exit success; timed_out is the timeout signal. Used both by the subprocess run_case and by nmbrs’s in-process run_executions-backed verification (so the SAME expect / expect-fail rules apply whether examples run as subprocesses or as concurrent in-process executions sharing one session).