Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 91be65be656072a68b51a8c4e7bb751ea475d896 / . / clang / test / Analysis / z3 / enabled.c
blob: 9f44233b266c0891fbdf7f66ff040bed0f5c47e3 [file] [log] [blame]
Vlad Tsyrklevicha7d25d52018-06-06 06:25:51 +0000[diff] [blame]1// REQUIRES: z3
2// RUN: echo %clang_analyze_cc1 | FileCheck %s
3// CHECK: -analyzer-constraints=z3