#[derive(Clone)]
pub struct MiriConfig {
pub validate: bool,
+ /// Determines if communication with the host environment is enabled.
+ pub communicate: bool,
pub args: Vec<String>,
- // The seed to use when non-determinism is required (e.g. getrandom())
- pub seed: Option<u64>
+ /// The seed to use when non-determinism is required (e.g. getrandom())
+ pub seed: Option<u64>,
}
// Used by priroda.
let mut ecx = InterpCx::new(
tcx.at(syntax::source_map::DUMMY_SP),
ty::ParamEnv::reveal_all(),
- Evaluator::new(),
+ Evaluator::new(config.communicate),
MemoryExtra::new(StdRng::seed_from_u64(config.seed.unwrap_or(0)), config.validate),
);
cur_ptr = cur_ptr.offset(char_size, tcx)?;
}
}
-
+
assert!(args.next().is_none(), "start lang item has more arguments than expected");
Ok(ecx)