Skip to main content

Module run

miri::concurrency::genmc

Module run 

Source

Re-exports§

use std::num::NonZeroI32; 🔒
use std::rc::Rc; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use crate::GenmcCtx; 🔒
use crate::MiriConfig; 🔒

Functions§

run_genmc_mode