Skip to content
Permalink
Browse files

fix miri step debug printing

  • Loading branch information
RalfJung committed Dec 8, 2019
1 parent e862c01 commit 2468b23ad583e4574fef07e4fa113bb8d52446a6
Showing with 3 additions and 1 deletion.
  1. +3 −1 src/librustc_mir/interpret/step.rs
@@ -304,7 +304,9 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
if !self.stack.is_empty() {
// This should change *something*
debug_assert!(self.cur_frame() != old_stack || self.frame().block != old_bb);
info!("// {:?}", self.frame().block);
if let Some(block) = self.frame().block {
info!("// executing {:?}", block);
}
}
Ok(())
}

0 comments on commit 2468b23

Please sign in to comment.
You can’t perform that action at this time.