Full Name of KLEE

[K Kylin]

Hi,
I read papers about KLEE, but I didn't find the full name of KLEE.
So what's the full name of KLEE, or is KLEE not an abbreviation、
Thanks.
Kylin

[小、 ￣洁]

Hi, I have run an example using KLEE. Many files are generated in klee-out-x.
In http://klee.github.io/klee/ , some information accounting for these files are offered,
but are far from enough. So i want to know what the information in these files exactly mean.
Have you known some detailed introduction about those files?
Thanks.
Zeng Jie




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË: "K Kylin"<***@gmail.com>;
·¢ËÍʱŒä: 2014Äê5ÔÂ13ÈÕ(ÐÇÆÚ¶þ) ÖÐÎç1:14
ÊÕŒþÈË: "klee-dev"<klee-***@imperial.ac.uk>;
Ö÷Ìâ: [klee-dev] Full Name of KLEE



Hi, I read papers about KLEE, but I didn't find the full name of KLEE.
So what's the full name of KLEE, or is KLEE not an abbreviation¡¢
Thanks.
Kylin

[小、 ￣洁]

Hope for help. Thanks everyone




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË: "С¡¢¡¡¡¡£þœà"<***@qq.com>;
·¢ËÍʱŒä: 2014Äê5ÔÂ13ÈÕ(ÐÇÆÚ¶þ) ÏÂÎç5:07
ÊÕŒþÈË: "K Kylin"<***@gmail.com>; "klee-dev"<klee-***@imperial.ac.uk>;
Ö÷Ìâ: [klee-dev] »ØžŽ£º Full Name of KLEE



Hi, I have run an example using KLEE. Many files are generated in klee-out-x.
In http://klee.github.io/klee/ , some information accounting for these files are offered,
but are far from enough. So i want to know what the information in these files exactly mean.
Have you known some detailed introduction about those files?
Thanks.
Zeng Jie




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË: "K Kylin"<***@gmail.com>;
·¢ËÍʱŒä: 2014Äê5ÔÂ13ÈÕ(ÐÇÆÚ¶þ) ÖÐÎç1:14
ÊÕŒþÈË: "klee-dev"<klee-***@imperial.ac.uk>;
Ö÷Ìâ: [klee-dev] Full Name of KLEE



Hi, I read papers about KLEE, but I didn't find the full name of KLEE.
So what's the full name of KLEE, or is KLEE not an abbreviation¡¢
Thanks.
Kylin