[all-commits] [llvm/llvm-project] b91e83: [analyzer][tests][z3] Fixing the test case bug for...

[Ella Ma via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b91e8324da8dce7f681394eac560a6f0e2cf5fc5
      https://github.com/llvm/llvm-project/commit/b91e8324da8dce7f681394eac560a6f0e2cf5fc5
  Author: Ella Ma <alansnape3058 at gmail.com>
  Date:   2026-02-25 (Wed, 25 Feb 2026)

  Changed paths:
    M clang/test/Analysis/z3-unarysymexpr.c

  Log Message:
  -----------
  [analyzer][tests][z3] Fixing the test case bug for testing converting boolean expression to integer (#183034)

* Fixing incorrect "REQUIRES" condition for Z3 introduced by #108900
* Fixing the test failure introduced by #168034
* Adding more comments about the fixes in #168034 for the tests
introduced in #158276



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications