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

[George Karpenkov via cfe-commits]

Should be fixed.

> On Aug 14, 2018, at 10:32 AM, George Karpenkov via cfe-commits <cfe-commits at lists.llvm.org> wrote:
> 
> 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
>> 
>> 
>> 
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits