pub fn litmus_per_candidate<B, P, F, E>(
opts: &LitmusRunOpts,
litmus: &Litmus<B>,
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<E>> where
B: BV,
P: AsRef<Path>,
F: Sync + Send + Fn(ThreadId, &[&[Event<B>]], &HashMap<B, Footprint>, &Memory<B>) -> Result<(), E>,
E: Send,