From d210b49eaf17596c118ae7f26269a3da435ba229 Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 24 Oct 2026 10:54:16 +0000
Subject: [PATCH] test(logging): fix banner substring casing

The banner prints "VeriSimiser Octad" (the product spelling) but the
assertion added in the previous commit checked "Verisimiser Octad", so
cargo test failed on main. Assert the real string.

Refs #213.

Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
---
 tests/logging_test.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/logging_test.rs b/tests/logging_test.rs
index b8c1812..535c96a 100644
--- a/tests/logging_test.rs
+++ b/tests/logging_test.rs
@@ -39,7 +39,7 @@ fn octad_table_is_data_on_stdout() {
     assert!(out.status.success());
     let stdout = String::from_utf8(out.stdout).unwrap();
     assert!(
-        stdout.contains("Verisimiser Octad"),
+        stdout.contains("VeriSimiser Octad"),
         "octad data on stdout, got: {stdout}"
     );
 }