blob: 578043add8d09cf7403c1dbfa277ebab3dbca8d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// RUN: %clang %s -emit-llvm -g -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out %t1.bc
// RUN: FileCheck %s --input-file=%t.klee-out/warnings.txt
#include "klee/klee.h"
int main() {
unsigned a;
klee_make_symbolic(&a, sizeof(a), "");
// CHECK-NOT: KLEE: WARNING: unable to write output test case, losing it
}
|
