[klee-dev] how to clone an expression

Sumit Kumar sumit686215 at gmail.com
Thu Mar 24 11:52:47 GMT 2016


Hi,

Can anyone please tell me how to clone an expression. I want to get a copy
of given expression but they must not share any object.

--
Thanks and Regards,
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list