Hi, Have you ever used makefile in llvm-gcc when testing the HiStar kernel? I can't find a tutorial about using makefile in llvm compiler but only in GCC, so could you give some advice?
-- Hannah
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
