[clang] [analyzer][NFC] Update stale test after #97265 (PR #122272)

[Balazs Benics via cfe-commits]

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/122272

In my patch there, I left a test expectation stale. Tests with `REQUIRES: Z3` never run because no bots check such configurations.

Here I'm adjusting the test expectations to meet reality.

>From 70d29e2ed8a98e5c8ce17be5151b7cd636a3dfa1 Mon Sep 17 00:00:00 2001
From: Balazs Benics <benicsbalazs at gmail.com>
Date: Thu, 9 Jan 2025 14:05:19 +0100
Subject: [PATCH] [analyzer][NFC] Update stale test after #97265

In my patch there, I left a test expectation stale.
Tests with `REQUIRES: Z3` never run because no bots check such
configurations.

Here I'm adjusting the test expectations to meet reality.
---
 clang/test/Analysis/z3/crosscheck-statistics.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/clang/test/Analysis/z3/crosscheck-statistics.c b/clang/test/Analysis/z3/crosscheck-statistics.c
index 7192824c5be31c..8db3df169f246e 100644
--- a/clang/test/Analysis/z3/crosscheck-statistics.c
+++ b/clang/test/Analysis/z3/crosscheck-statistics.c
@@ -28,6 +28,6 @@ int rejecting(int n, int x) {
 // CHECK-NEXT:  1 BugReporter         - Number of reports passed Z3
 // CHECK-NEXT:  1 BugReporter         - Number of reports refuted by Z3
 
-// CHECK:       1 Z3CrosscheckVisitor - Number of Z3 queries accepting a report
-// CHECK-NEXT:  1 Z3CrosscheckVisitor - Number of Z3 queries rejecting a report
-// CHECK-NEXT:  2 Z3CrosscheckVisitor - Number of Z3 queries done
+// CHECK:       1 Z3CrosscheckOracle - Number of Z3 queries accepting a report
+// CHECK-NEXT:  1 Z3CrosscheckOracle - Number of Z3 queries rejecting a report
+// CHECK-NEXT:  2 Z3CrosscheckOracle - Number of Z3 queries done