Dear all,
I've updated (yesterday night) to the head SVN revisions of LLVM and
Klee. Now, for every program Klee completes only one path. For
instance, running Klee on the example of tutorial one, gives me the
following output:
$ llvm-gcc -c -g -emit-llvm islower.c
$ klee islower.o
KLEE: output directory = "klee-out-0"
KLEE: done: total instructions = 27
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1
$ ktest-tool klee-last/test000001.ktest
ktest file : 'klee-last/test000001.ktest'
args : ['islower.o']
num objects: 1
object 0: name: 'input'
object 0: size: 1
object 0: data: '\x00'
For all other programs, it's absolutely the same: the state set is
always empty (except the initial state) and the data is always zero.
I followed exactly the steps on the homepage[1] to build Klee with
uclibc support. I'm currently at revision 103959 and created Release
builds of LLVM and Klee. All unit tests pass but I see lots of fails in
the check summary. (The whole output of make check is attached.)
=== Summary ===
# of expected passes 62
# of unexpected failures 43
# of expected failures 2
My previous versions of LLVM and Klee were several weeks old but worked
fine.
[1] http://klee.llvm.org/GetStarted.html
Heinz
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: check.txt
Url:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100519/7675909e/attachment-0001.txt
