Sir,
Maybe you could find the implement of forking state in lib/Core/ExecutionState.cpp with ExecutionState::branch() and ExecutionState::ExecutionState(const ExecutionState& state) functions. And ExecutionState::branch() is used in lib/Core/Executor.cpp Executor::fork(ExecutionState ¤t, ref<Expr> condition, bool isInternal) function when a state need to be forked. Regards, Chengyu -- 张枨宇 Chengyu Zhang 华东师范大学 计算机科学与软件工程学院 East China Normal University School of Computer Science and Software Engineering Mail：[email protected] At 2016-04-12 03:49:30, "Sumit Kumar" <[email protected]> wrote: 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
