Only generate miri backtraces if explicitly requested

This commit is contained in:
Oliver Schneider 2018-03-16 11:48:32 +01:00
parent a7170b0412
commit 4133b16036
No known key found for this signature in database
GPG key ID: A69F8D225B3AD7D9

View file

@ -20,7 +20,7 @@ pub struct EvalError<'tcx> {
impl<'tcx> From<EvalErrorKind<'tcx>> for EvalError<'tcx> {
fn from(kind: EvalErrorKind<'tcx>) -> Self {
let backtrace = match env::var("RUST_BACKTRACE") {
let backtrace = match env::var("MIRI_BACKTRACE") {
Ok(ref val) if !val.is_empty() => Some(Backtrace::new_unresolved()),
_ => None
};