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 <benicsbal...@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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
