Hi, a query construct is a node in a KLEE expression (Expr) tree.
Best, Cristian On 02/06/16 22:20, Jeff Wilson wrote:
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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev