This is not really related to KLEE :-) (I'll look at that file and get back to you off-line.) What's interesting to know for people using KLEE in general, is that in conjunction with --only-output-states-covering-new (which make KLEE generate test files only when they get more coverage), you can use --exclude-libc-cov (to ignore coverage in libc) and/or --exclude-cov-file=<filename> (where filename is a text file specifying the functions to be ignored, one per line).
--Cristian On Wed, 2008-12-03 at 14:15 -0800, Philip Guo wrote: > how is that file generated? is the intent that ALL functions defined > in coreutils-6.11/lib/ should be included in that file? if so, i > think we're definitely missing some functions like __setvbuf_init() > and others. i would like to update this if possible. thanks. > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.Stanford.EDU > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
