pub fn run_genmc_mode<'tcx>(
_tcx: TyCtxt<'tcx>,
_config: &MiriConfig,
_eval_entry: impl Fn(Rc<GenmcCtx>) -> Result<(), NonZeroI32>,
) -> Result<(), NonZeroI32>pub fn run_genmc_mode<'tcx>(
_tcx: TyCtxt<'tcx>,
_config: &MiriConfig,
_eval_entry: impl Fn(Rc<GenmcCtx>) -> Result<(), NonZeroI32>,
) -> Result<(), NonZeroI32>