[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

[George Karpenkov via cfe-commits]

Yes, investigating. Will rollback if not fixed in a few hours.

> On Aug 14, 2018, at 3:17 AM, Yvan Roux via Phabricator <reviews at reviews.llvm.org> wrote:
> 
> yroux added a comment.
> 
> Notice that the affected bots run two times the test cases where one execution passes and one fails, as you can see in (search Analysis/plist-macros.cpp for instance):
> 
> http://lab.llvm.org:8011/builders/clang-cmake-armv8-full/builds/5450/steps/ninja%20check%201/logs/stdio
> 
> and I think it is due to llvm-lit being invoked with "--param USE_Z3_SOLVER=0 --param USE_Z3_SOLVER=0"
> 
> 
> Repository:
>  rC Clang
> 
> https://reviews.llvm.org/D50594
> 
> 
>