Hi, Can anyone please tell me that when a state is forked does the newly created state share anything with its sibling or is everything a deep copy.
-- Thanks and Regards, Sumit
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev