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 <[email protected]> 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 <[email protected]> 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' >> > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
