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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
