blob: e0e896bc692ff4633c2aa07d464b55250b02e0df (
plain) (
blame)
1
2
3
4
5
6
7
8
|
// RUN: %clang %s -m32 -emit-llvm %O0opt -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --exit-on-error > %t2.out 2>&1 || true
// RUN: FileCheck %s -input-file=%t2.out
// CHECK: KLEE: WARNING: Module and host target triples do not match
// CHECK-NEXT: This may cause unexpected crashes or assertion violations.
int main(void) {}
|
