[klee-dev] does the newly created state share anything with its sibling

Sumit Kumar sumit686215 at gmail.com
Mon Apr 11 20:49:30 BST 2016


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
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list