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

[Cristian Cadar]

Thanks, Chace.  We are now working on a first official release of KLEE
based on LLVM 3.4, so this will have lower priority, but I hope we'll
take a look soon afterwards.  In the meantime, I encourage other people
to try your patch (https://github.com/klee/klee/pull/238) and report any
issues.

Best,
Cristian

On 26/04/2015 03:06, Chace Clark wrote:
> 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
> <mailto: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
>     <mailto: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'
> 
> 
> 
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>