[PATCH] LLVM 2.8 fixes
Peter Collingbourne
pcc03 at doc.ic.ac.uk
Thu Aug 5 08:39:25 PDT 2010
Hi Daniel,
On Thu, Aug 05, 2010 at 03:54:44PM +0100, Daniel Dunbar wrote:
> The patches look good, the only thing I am worried about is whether
> they also work with LLVM 2.6 and LLVM 2.7 -- have you checked those
> configurations?
I ran "make check" with 2.7 before I sent the patches out --
no unexpected failures. I have now also done the same with 2.6,
same result.
I'll commit this unless there is an objection.
Thanks,
--
Peter
More information about the klee-commits
mailing list