[klee-dev] Option for generating MC/DC test cases

[Damir]

Hello again!

I've patched klee to support the option to skip CFGSimplification pass.

Here's the link for the patch:

https://github.com/ShayDamir/klee/commit/83e5b6d8686a831060fcc34016184e7b18d1d1ba

It's a part of my larger effort to build klee with cmake and llvm-3.8,
based on the work of Richard Trembecky and my own.

So far I've been able to build klee with llvm and cmake on Ubuntu 16.04,
with only minor patch to LLVM cmake files.

The cmake support is work in progress, lots of things to do.

The -no-boolean-simplification patch is usable on klee with llvm-3.4  and
autotools. Official docker image can be patched with it and you can get
better coverage for complex decisions.

I'm sure it will work on llvm-2.9 too, so you won't need CIL anymore to get
better coverage.
-------------- next part --------------
HTML attachment scrubbed and removed