[klee-dev] Build KLEE source code on Eclipse

[felicia]

Hi,

To be more precise, I use linux as operating system. Thank you.

On 2015-09-08 15:38, felicia wrote:
> Hi,
> 
> I would like to use Eclipse for compiling and debug KLEE source code.
> So, I could trace it easily. Please inform me the right way to do it.
> 
> Thank you.
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev