message: install ICE hook
diff: @@ -211,6 +211,7 @@ fn main() {
  seed,
  args: miri_args,
  };
  + rustc_driver::install_ice_hook();
  let result = rustc_driver::catch_fatal_errors(move || {
  rustc_driver::run_compiler(&rustc_args, &mut MiriCompilerCalls { miri_config }, None, None)
  }).and_then(|result| result);
  