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 ``` 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
