[klee-dev] Some Question about Klee

Jonathan Neuschäfer j.neuschaefer at gmx.net
Sun Apr 14 10:32:47 BST 2013


On Sun, Apr 14, 2013 at 09:20:34AM +0800, Hongxu Chen wrote:
> 
> AFAIK, the deb package of llvm-gcc is actually a dragonegg, you can see
> what's happening by using
> 
>     cat $(which llvm-gcc)
> 
> or sometihing like that.

Indeed. Thanks for pointing that out.


Jonathan Neuschäfer




More information about the klee-dev mailing list