Dear KLEE devs, Can you please clarify the meaning of a query construct as measured by the AvgQC column of klee-stats? Is a construct a clause or is it more fine grained like a variable or a constant? Thanks, Jeff -------------- next part -------------- HTML attachment scrubbed and removed