Hi all, Is there a way in a klee to generate symbolic tree as a dot graph for visualization. Thanks Wajih -------------- next part -------------- HTML attachment scrubbed and removed