Hello, I'm new to KLEE and studying its sourcecode. I have 2 problems to ask you.
1) How does KLEE store and track the symbolic states? 2) How does KLEE translate the symbolic states to STP? Thanks very much! -- Regards, Lu Huizhi [email protected] -- 陆辉志 - Lu Huizhi [email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
