blob: 0e0a90c5dc58b0e3c655c31d292f813e86420d31 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
// REQUIRES: not-stp
// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: not %klee --output-dir=%t.klee-out --solver-backend=stp %t1.bc 2>&1 | FileCheck %s
// CHECK: Not compiled with STP support
// CHECK: ERROR: Failed to create core solver
int main(int argc, char **argv) {
return 0;
}
|
