[clang] [llvm] [analyzer][NFC] Reorganize Z3 report refutation (PR #95128)

[Mikael Holmén via llvm-commits]

mikaelholmen wrote:

> > Hi @steakhal and @NagyDonat ,
> > Does this patch have requirements on the Z3 version?
> > I get
> > `LLVM ERROR: Z3 error: unknown parameter 'timeout'`
> > for the following testcases
> > ```
> > Failed Tests (3):
> >   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/24/188
> >   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/25/188
> >   Clang-Unit :: StaticAnalyzer/./StaticAnalysisTests/26/188
> > ```
> 
> I'm not aware. I used the latest Z3 when testing. I'll have a look.
> 
> Edit: Do you have a build bot link, such that I could checkout the exact environment?

Unfortunately not, I'm on our internal servers.
>From what I can see we're using Z3 4.8.8-1


https://github.com/llvm/llvm-project/pull/95128