From c5a1e4cf2f50552db68fbe8448c231d0064b2668 Mon Sep 17 00:00:00 2001
From: arena-agent <297053741+arena-agent@users.noreply.github.com>
Date: Fri, 9 Oct 2026 19:26:50 +0000
Subject: [PATCH] fix(tests): rustfmt layout for corpus_cli_dispatch

rust-ci's `cargo fmt --check` failed on #418 (main 7fd369d). Two layout
spots did not match rustfmt output:

- the SUPPORTED array: rustfmt packs literal arrays into mixed rows;
  use a single whitespace-separated string constant instead, iterated
  with split_whitespace();
- an assert! whose argument list exceeds fn_call_width (60): split it
  vertically.

No behaviour change.

Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
---
 tests/corpus_cli_dispatch.rs | 29 +++++++----------------------
 1 file changed, 7 insertions(+), 22 deletions(-)

diff --git a/tests/corpus_cli_dispatch.rs b/tests/corpus_cli_dispatch.rs
index f5c519d4..e5536ab1 100644
--- a/tests/corpus_cli_dispatch.rs
+++ b/tests/corpus_cli_dispatch.rs
@@ -11,25 +11,7 @@
 use std::path::Path;
 use std::process::{Command, Output};
 
-const SUPPORTED: &[&str] = &[
-    "agda",
-    "coq",
-    "lean",
-    "idris2",
-    "acl2_books",
-    "dafny",
-    "fstar",
-    "hol4",
-    "hol_light",
-    "isabelle",
-    "metamath",
-    "minif2f",
-    "mizar",
-    "proofnet",
-    "smtlib",
-    "tptp",
-    "why3",
-];
+const SUPPORTED: &str = "agda coq lean idris2 acl2_books dafny fstar hol4 hol_light isabelle metamath minif2f mizar proofnet smtlib tptp why3";
 
 fn ingest(dir: &Path, adapter: &str) -> Output {
     let root = dir.join("project");
@@ -56,7 +38,7 @@ fn combined(out: &Output) -> String {
 #[test]
 fn every_advertised_adapter_is_dispatched() {
     let tmp = tempfile::tempdir().expect("tempdir");
-    for adapter in SUPPORTED {
+    for adapter in SUPPORTED.split_whitespace() {
         let out = ingest(tmp.path(), adapter);
         let text = combined(&out);
         assert!(
@@ -76,7 +58,10 @@ fn unknown_adapter_is_rejected() {
         text.contains("Unknown corpus adapter 'not_a_real_adapter'"),
         "unexpected error text: {text}"
     );
-    for adapter in SUPPORTED {
-        assert!(text.contains(adapter), "error should list `{adapter}`: {text}");
+    for adapter in SUPPORTED.split_whitespace() {
+        assert!(
+            text.contains(adapter),
+            "error should list `{adapter}`: {text}"
+        );
     }
 }