Skip to content

Commit 8882959

Browse files
committed
feat: Install ICE hook with bug report URL on mutest-driver startup
1 parent 6ff11ae commit 8882959

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

mutest-driver/src/main.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -144,12 +144,16 @@ const UNSTABLE_OPTIONS: &[UnstableOption] = mutest_driver_cli::extend_const_slic
144144
// No mutest-driver-specific unstable options at the moment.
145145
]);
146146

147+
const BUG_REPORT_URL: &str = "https://github.com/zalanlevai/mutest-rs/issues/new";
148+
147149
pub fn main() {
148150
let early_dcx = EarlyDiagCtxt::new(ErrorOutputType::default());
149151
let mut args = rustc_driver::args::raw_args(&early_dcx);
150152

151153
rustc_driver::init_rustc_env_logger(&early_dcx);
152154

155+
rustc_driver::install_ice_hook(BUG_REPORT_URL, |_dcx| {});
156+
153157
// NOTE: When being invoked by Cargo through RUSTC_WRAPPER / RUSTC_WORKSPACE_WRAPPER,
154158
// we are passed the path to rustc as the first argument.
155159
// This is ignored, since we are using rustc_driver directly to invoke the compiler.

0 commit comments

Comments
 (0)