blob: ebe60db2e9e597c319808f3c0b34f84769806530 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// RUN: %clang -emit-llvm -g -c -o %t.bc %s
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out %t.bc > %t.output.log 2>&1
// RUN: FileCheck -input-file=%t.output.log %s
void recursive(unsigned nr){
if (nr == 0)
return;
recursive(nr-1);
}
int main() {
recursive(10000);
return 0;
}
// CHECK: Maximum stack size reached
|
