[all-commits] [llvm/llvm-project] 74f0b0: Fix Z3 version detection regexp

[stil-t via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 74f0b058f078ea9663aa11cc3445f4b614ca01c7
      https://github.com/llvm/llvm-project/commit/74f0b058f078ea9663aa11cc3445f4b614ca01c7
  Author: Mikhail Korolev <stilriv at gmail.com>
  Date:   2022-09-23 (Fri, 23 Sep 2022)

  Changed paths:
    M llvm/cmake/modules/FindZ3.cmake

  Log Message:
  -----------
  Fix Z3 version detection regexp

regexp for try_run path expects '0 or more' digits which is incorrect because it should be 'one or more', regexp for header parsing expects 'exactly one' digit which is incorrect with current Z3 version (4.11.2)

Reviewed By: mikhail.ramalho

Differential Revision: https://reviews.llvm.org/D134261