Hi, Who can tell me how to clone a new ExecutionState b of an exist ExecutionState a, and the change on b won't affect a?
when I tried to use " ExecutionState *b = new ExecutionState(a); " to get a copy b of a, and did some change on b, I found a is also changed. -------------------------------------------- Qiuping Yi Institute Of Software Chinese Academy of Sciences
_______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev