[klee-dev] My forked KLEE using LLVM 3.6 passes regression and unit tests
Chace Clark
chace3 at tamu.edu
Wed Apr 15 23:36:00 BST 2015
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
More information about the klee-dev
mailing list