mikhail.ramalho added a comment. Herald added a subscriber: Charusso. Hi, I just found this revision.
Could you point out how can I run the CSA tests with Z3 as backend? We used to do `$ ninja check-clang-analyzer-z3`, however, it now fails and suggests: $ ninja check-clang-analyzer-z3 ninja: error: unknown target 'check-clang-analyzer-z3', did you mean 'check-clang-analysis-z3'? `check-clang-analysis-z3` only runs one test though. Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D62445/new/ https://reviews.llvm.org/D62445 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
