llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balazs Benics (steakhal) <details> <summary>Changes</summary> 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. --- Full diff: https://github.com/llvm/llvm-project/pull/122272.diff 1 Files Affected: - (modified) clang/test/Analysis/z3/crosscheck-statistics.c (+3-3) ``````````diff 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 `````````` </details> https://github.com/llvm/llvm-project/pull/122272 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
