Function isla_axiomatic::run_litmus::smt_output_per_candidate

pub fn smt_output_per_candidate<B, P, F, E>(
    uid: &str, 
    opts: &LitmusRunOpts, 
    litmus: &Litmus<B>, 
    cat: &Cat<Ty>, 
    regs: Bindings<'_, B>, 
    lets: Bindings<'_, B>, 
    shared_state: &SharedState<'_, B>, 
    isa_config: &ISAConfig<B>, 
    fregs: Bindings<'_, B>, 
    flets: Bindings<'_, B>, 
    fshared_state: &SharedState<'_, B>, 
    footprint_config: &ISAConfig<B>, 
    cache: P, 
    callback: &F
) -> Result<LitmusRunInfo, LitmusRunError<CallbackError<E>>> where
    B: BV,
    P: AsRef<Path> + Sync,
    F: Sync + Send + Fn(ExecutionInfo<'_, B>, &HashMap<B, Footprint>, &str) -> Result<(), E>,
    E: Send, 

This function runs a callback on the output of the SMT solver for each candidate execution combined with a cat model.