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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev