Hope for help. Thanks everyone
------------------ ???????? ------------------
??????: "????????????"<[email protected]>;
????????: 2014??5??13??(??????) ????5:07
??????: "K Kylin"<[email protected]>; "klee-dev"<[email protected]>;
????: [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"<[email protected]>;
????????: 2014??5??13??(??????) ????1:14
??????: "klee-dev"<[email protected]>;
????: [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_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
