Use new miri test functionality from the frontend

Author: shepmaster

ui/frontend/ToolsMenu.tsx

@@ -26,6 +26,9 @@ const ToolsMenu: React.FC<ToolsMenuProps> = props => {
   const nightlyVersion = useAppSelector(selectors.nightlyVersionText);
   const nightlyVersionDetails = useAppSelector(selectors.nightlyVersionDetailsText);
 
+  const miriRunningTests = useAppSelector(selectors.runAsTest);
+  const miriText = miriRunningTests ? "these tests" : "this program";
+
   const dispatch = useAppDispatch();
   const clippy = useCallback(() => {
     dispatch(performClippy());
@@ -62,7 +65,7 @@ const ToolsMenu: React.FC<ToolsMenuProps> = props => {
         name="Miri"
         onClick={miri}>
         <div>
-          Execute this program in the Miri interpreter to detect certain
+          Execute {miriText} in the Miri interpreter to detect certain
           cases of undefined behavior (like out-of-bounds memory access).
         </div>
         <MenuAside>{miriVersion} ({miriVersionDetails})</MenuAside>

ui/frontend/reducers/output/miri.ts

@@ -22,6 +22,7 @@ interface State {
 interface MiriRequestBody {
   code: string;
   edition: string;
+  tests: boolean;
   aliasingModel: AliasingModel;
 }
 

ui/frontend/selectors/index.ts

@@ -397,9 +397,10 @@ export const formatRequestSelector = createSelector(
 
 export const miriRequestSelector = createSelector(
   editionSelector,
-  codeSelector,
+  runAsTest,
   aliasingModelSelector,
-  (edition, code, aliasingModel) => ({ edition, code, aliasingModel }),
+  codeSelector,
+  (edition, tests, aliasingModel, code, ) => ({ edition, tests, aliasingModel, code }),
 );
 
 export const macroExpansionRequestSelector = createSelector(

ui/src/public_http_api.rs

@@ -103,6 +103,8 @@ pub(crate) struct MiriRequest {
     pub(crate) code: String,
     #[serde(default)]
     pub(crate) edition: String,
+    #[serde(default)]
+    pub(crate) tests: bool,
     #[serde(default, rename = "aliasingModel")]
     pub(crate) aliasing_model: Option<String>,
 }

ui/src/server_axum.rs

@@ -1288,6 +1288,7 @@ pub(crate) mod api_orchestrator_integration_impls {
             let api::MiriRequest {
                 code,
                 edition,
+                tests,
                 aliasing_model,
             } = other;
 
@@ -1300,7 +1301,7 @@ pub(crate) mod api_orchestrator_integration_impls {
                 channel: Channel::Nightly,     // TODO: use what user has submitted
                 crate_type: CrateType::Binary, // TODO: use what user has submitted
                 edition: parse_edition(&edition)?,
-                tests: false,
+                tests,
                 aliasing_model,
                 code,
             })