Hello, Is there any way to localize the reason(s) for situations where an application inside Klee does not make any progress?
I'm running Klee with different path selection strategies, however, the code I'm testing gets stuck for hours at some execution point in time. CPU/memory usage remains constant and the `run.stats` keeps growing with new entries. Unfortunately, the output of my application does not really help me to narrow down the blameworthy line(s) of code or maybe some complex symbolic constraints to be solved. The native binary runs without any problems. Thanks, 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/20090325/f3ef20cb/attachment.bin
