i think those were added in as part of the new expr language development? is there a command-line flag to disable them, since queries.pc is pretty big. thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090105/ef16dd39/attachment.html
- [klee-dev] any way to disable queries.pc and queries.qlog file ... Philip Guo
