[klee-dev] Testing Structures with klee

[Saikat Dutta]

Hi,
Normally big application have structures and linked lists or arrays of such
structures as inputs to functions. Is there an easy way to symbolically
declare them using klee? Or does one have to declare each of their
component primitive variables?
Thanks.
-Saikat
-------------- next part --------------
HTML attachment scrubbed and removed