Hi, I want to work with the klee code base. But I am not sure about how Klee tracks the program states. If anyone can tell me the path in the code of klee with which klee forks program states than, it will be very much helpful for me. Thanks Tarannum -------------- next part -------------- HTML attachment scrubbed and removed