Hi all, This may seem like a ridiculous question, but please help me: Is there a way to disable the queries that KLEE makes to the SMT solver? I would like to only get the path constraints in SMT2 format as outputs from KLEE. Many thanks, Jeff -------------- next part -------------- HTML attachment scrubbed and removed