[klee-dev] No gcda files created for certain coreutils programs in cde package

[David Gloe]

Hello,

I'm not getting any gcda files created for some coreutils programs using 
the CDE package. I'm on a 64 bit Ubuntu 12.04 system. For example, 
here's what happened for uname:

david at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-llvm/src$ 
klee.cde --optimize --libc=uclibc --posix-runtime --init-env 
--max-sym-array-size=512 ./uname.bc --sym-args 0 1 2

That command created 323 test files.

david at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-llvm/src$ 
cd ../../obj-gcov/src
david at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$ 
klee-replay.cde ./uname ../../obj-llvm/src/klee-last/*.ktest
david at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$ 
ls *.gcda
ls: cannot access *.gcda: No such file or directory
david at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$ 
gcov.cde -b uname
uname.gcno:version '406*', prefer '403R'
uname.gcda:cannot open data file, assuming not executed
File '../../src/uname.c'
Lines executed:0.00% of 88
Branches executed:0.00% of 63
Taken at least once:0.00% of 63
Calls executed:0.00% of 40
../../src/uname.c:creating 'uname.c.gcov'

File '../../src/system.h'
Lines executed:0.00% of 3
No branches
Calls executed:0.00% of 1
../../src/system.h:creating 'system.h.gcov'

This happened for chroot as well. Has anyone else run into this issue, 
or know how to fix it? I haven't found anything by googling.

Thanks,
David G.