blob: 6fb3d0239ca1214b9b6a145fd0b7cff54ab50598 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc
// RUN: rm -rf %t.klee-out
// Delay writing instructions so that we ensure on exit that flush happens
// RUN: not %klee --output-dir=%t.klee-out -exit-on-error -stats-write-interval=0 -stats-write-after-instructions=999999 -stats-commit-after=1 %t.bc 2> %t.log
// RUN: klee-stats --to-csv %t.klee-out > %t.stats.csv
// RUN: FileCheck -check-prefix=CHECK-KLEE -input-file=%t.log %s
// RUN: FileCheck -check-prefix=CHECK-STATS -input-file=%t.stats.csv %s
#include "klee/klee.h"
#include <stdlib.h>
int main(){
int a;
klee_make_symbolic (&a, sizeof(int), "a");
if (a) {
// CHECK-KLEE: EXITING ON ERROR
// CHECK-KLEE-NEXT: Error: abort failure
abort();
}
return 0;
}
// First check we find a line with the expected format
// CHECK-STATS:{{^Instructions}}
// Now check that we eventually get a line where a non zero amount of instructions were executed
// CHECK-STATS:{{^\([ ]*[1-9]|([1-9]+)[0-9]}}
|
