From 0b3ef4b35cb1dfe8b9291a503d099fff7e71bd2e Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Thu, 2 Nov 2023 09:11:27 +0000
Subject: [PATCH] modify binary name in test runner

---
 tests/ui.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/ui.rs b/tests/ui.rs
index 9421ab68..05f758e4 100644
--- a/tests/ui.rs
+++ b/tests/ui.rs
@@ -6,7 +6,7 @@ fn main() -> Result<()> {
     let mut config = Config::rustc("tests/ui");
     // Prevent ui_test from trying to query `formality` for the host platform name
     config.host = Some("non of ya bizniz".into());
-    config.program.program = "target/debug/formality".into();
+    config.program.program = "target/debug/a-mir-formality".into();
     config.mode = Mode::Fail {
         require_patterns: false,
     };