Thank you for your replay! I want the constraints collected in b don't appear in a, and the changes on the constraints of b don't affect a. I try the branch(), fork(), and its constructors, but they don't work.
-------------------------------------------- Qiuping Yi Institute Of Software Chinese Academy of Sciences
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
