enabled.c (revision a7d25d5934409cdf5ef00b10cb3216bc338a88e2) - OpenGrok cross reference for /llvm-project/clang/test/Analysis/z3/enabled.c

1 // REQUIRES: z3
2 // RUN: echo %clang_analyze_cc1 | FileCheck %s
3 // CHECK: -analyzer-constraints=z3
4