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

[Chace Clark]

Hi guys,

I hopefully have made all the changes necessary so that my forked KLEE with
3.6 support wont cause any problems. It took me longer than I thought to
add the switches to insure we don't break with older versions of LLVM. On
the upside I tested it against 2.9, 3.4, and 3.6. (on my local Linux mint
x64 install), so I don't anticipate too many problems.

The one thing i couldn't do was get the formatting tool to work. I hope
this is not a problem. It kept saying no modified files to format. Can u
run the tool for me when u merge the pull request?

Im sending the pull request now and it should be up to date with the
changes done to master as of the moment.

Anyway, Let me know if there are any problems.

Thanks,
-Chace


On Wed, Apr 15, 2015 at 5:36 PM, Chace Clark <chace3 at tamu.edu> wrote:

> Oh cool Ill add those too. Yeah I have never worked with TravisCI before,
> so I'm reading about it now. Looks cool.
> Ill get to it and assuming all goes well, you can expect a pull request
> shortly.
>
> Thanks for your help.
>
> On Wed, Apr 15, 2015 at 5:26 PM, Dan Liew <dan at su-root.co.uk> wrote:
>
>> > 4. Enable TravisCI tests for LLVM 3.6. Look at the /.travis.yml file.
>> > Hopefully it would just be a case of adding a few more configurations
>> > the ``env`` key
>> >
>> > - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=0
>> > DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1
>> > - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=1
>> > DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1
>> > - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=0 DISABLE_ASSERTIONS=0
>> > ENABLE_OPTIMIZED=1
>> > - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=1 DISABLE_ASSERTIONS=0
>> > ENABLE_OPTIMIZED=1
>>
>> Oh I forgot to say you'll need to add the following to the
>> before_install section in the ``travis.yml`` as well.
>>
>>     - sudo sh -c 'echo "deb http://llvm.org/apt/precise/
>> llvm-toolchain-precise-3.6 main" >> /etc/apt/sources.list.d/llvm.list'
>>     - sudo sh -c 'echo "deb-src http://llvm.org/apt/precise/
>> llvm-toolchain-precise-3.6 main" >> /etc/apt/sources.list.d/llvm.list'
>>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed