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

[Chace Clark]

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