will disabling --write-pcs do the trick? On Mon, Jan 5, 2009 at 4:47 PM, Philip Guo <pg at cs.stanford.edu> wrote:
> 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/8ba2b7cb/attachment.html
