diff options
| author | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:25:37 +0000 |
|---|---|---|
| committer | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:25:37 +0000 |
| commit | 80a764bab17cf984db298078ba9010a553a15335 (patch) | |
| tree | 7db67806c6bea725954ed400cafcd60836669071 /clang/test/Analysis/z3/enabled.c | |
| parent | 6f8f15fa72623257d03eb8e742552d16f5e4a304 (diff) | |
| download | bcm5719-llvm-80a764bab17cf984db298078ba9010a553a15335.tar.gz bcm5719-llvm-80a764bab17cf984db298078ba9010a553a15335.zip | |
[Analyzer] Fix the Z3 lit test config
Summary:
The '%analyze' extra_args config argument seems to have been erroneously
deleted in r315627 disabling Z3 tests for the clang analyzer. Add the
flag back.
Reviewers: george.karpenkov, NoQ, ddcc
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, delcypher, a.sidorin, llvm-commits
Differential Revision: https://reviews.llvm.org/D47722
llvm-svn: 334066
Diffstat (limited to 'clang/test/Analysis/z3/enabled.c')
0 files changed, 0 insertions, 0 deletions
