Hello All, When STP finishes computing a query and backs the result to KLEE, how does KLEE handler the result(where to store it, when to take it out as an added constraint for generating a next state, etc.) I greatly appreciate it if you could show me some important functions. Thanks All!
Regards, -- Lu Huizhi [email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
