steakhal 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. 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
