Skip to content

Commit 09bffb5

Browse files
committed
Fix miri tests
1 parent af89d71 commit 09bffb5

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

src/tools/miri/src/bin/miri.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -225,7 +225,8 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
225225
let mut config = self.miri_config.take().expect("after_analysis must only be called once");
226226
// Add filename to `miri` arguments.
227227
let exe_path = tcx.output_filenames(()).path(OutputType::Exe);
228-
config.args.insert(0, exe_path.as_path().to_string_lossy().to_string());
228+
let exe_stem = exe_path.filestem().unwrap().to_string_lossy();
229+
config.args.insert(0, exe_stem.to_string());
229230

230231
// Adjust working directory for interpretation.
231232
if let Some(cwd) = env::var_os("MIRI_CWD") {

0 commit comments

Comments
 (0)