blob: 7d25585c8ad2d7c18e3deb95caaba94097199872 (
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
24
25
26
|
clang -m32 -I ~/private/klee/include -c -emit-llvm Regexp.c
klee Regexp.o
klee --only-output-states-covering-new Regexp.o
ls -l klee-out-0
ls -l klee-out-1
ls -l klee-last
cd klee-last
klee-bout-tool *.bout
klee-bout-tool --trim-zeros *.bout
Stuff to show:
Adding klee_prefer_cex
PrintStats.py klee-last
PrintStats.py klee-last
Why not 100% coverage?
clang -g -m32 -I ~/private/klee/include -c -emit-llvm Regexp.c
KCachegrind?
Disable klee_assume, show coverage again (why is klee-check-div getting pulled
in?)
|
