Hi, In constructSolverChain(...), the UseSTPQueryPCLog option uses stpQueryLogPath as the log path, but shouldn't it be stpQueryPCLogPath? Since it's using create'PC'LoggingSolver..
-- Seungbeom Kim -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: UseSTPQueryPCLog.patch Url: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100727/96420d35/attachment.cc
