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