[klee-dev] My forked KLEE using LLVM 3.6 passes regression and unit tests

[Chace Clark]

I have been working on updating KLEE to work using the newest stable
version of LLVM (3.6).

It now passes the same regression tests that the llvm 3.4.2 version does,
as well as all the unit tests.

I would love for these changes to be pushed to the main branch of KLEE.

What should i do to prepare before I submit a pull request to you guys?

Is there anything to make incorporation easier?
-------------- next part --------------
HTML attachment scrubbed and removed