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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
