diff options
Diffstat (limited to 'clang/test/Analysis/PR37855.c')
| -rw-r--r-- | clang/test/Analysis/PR37855.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/PR37855.c b/clang/test/Analysis/PR37855.c index 0779796531f..e9c2564ba00 100644 --- a/clang/test/Analysis/PR37855.c +++ b/clang/test/Analysis/PR37855.c @@ -1,5 +1,5 @@ -// RUN: %clang_cc1 -analyze -analyzer-eagerly-assume -analyzer-checker=core -w -DNO_CROSSCHECK -verify %s -// RUN: %clang_cc1 -analyze -analyzer-eagerly-assume -analyzer-checker=core -w -analyzer-config crosscheck-with-z3=true -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core -w -DNO_CROSSCHECK -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core -w -analyzer-config crosscheck-with-z3=true -verify %s // REQUIRES: z3 typedef struct o p; |
