Hi Phil, On 26.03.2009, at 06:06, Philip Guo wrote:
> --write-cov (this will write a .cov file for each terminated state > with the file/line info for any *new* lines that state has covered > that previous states haven't ... make sure you compile your app with > -g debug info to get file/line info) > > --only-output-states-covering-new=false (this will output ALL > terminated states, not only those covering new lines ... this will > cause Klee to output EVERY state that terminates, perhaps giving you > some more indications of progress) Finally, I could identify the code part where the problem occurs using debug info within .cov files. In addition, I've enabled `-debug-print- queries` to see the STP queries which gave me further ideas to localize the problem. Many thanks for the hints, Raimondas -- Raimondas Sasnauskas, PhD Student Distributed Systems Group RWTH Aachen University http://ds.cs.rwth-aachen.de/members/sasnauskas -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2498 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090326/8d47c45f/attachment.bin
