[PATCH] D62445: [test] Fix plugin tests
Mikhail Ramalho via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 20 09:30:41 PST 2020
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
More information about the cfe-commits
mailing list