[klee-dev] What is a query construct

[Cristian Cadar]

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