> 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' _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev