~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2015-10-17	Implemented SV-COMP 2016 runtime functions which can be activated with	Dan Liew
2015-09-25	Don't use /tmp for futimesat unit test	Andrew Chi
2015-04-01	[tests] Fix undefined function	Martin Nowack
2014-09-15	Generate fake files for test cases	Martin Nowack
2014-09-14	Enable test case again	Martin Nowack
2014-09-14	Use not test instead of non-existing FAIL.	Martin Nowack
2014-09-14	Fix testcase FD_Fail2.c	Martin Nowack
2014-09-14	[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve...	Daniel Dunbar
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-01-29	Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makes	Dan Liew
2014-01-20	Only run klee-uclibc tests if KLEE was configured with klee-uclibc	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
2014-01-20	Added Runtime/POSIX/lit.local.cfg file that prevents the POSIX	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2013-11-14	Add additional note that testcase might fail if	Martin Nowack
2013-11-02	Fix Futimesat compilation with newer gcc and clang	Martin Nowack
2013-10-14	Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...	Cristian Cadar
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu
2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
2012-04-05	Removed unnecessary --init-env option.	Cristian Cadar
2010-06-21	Applied Stefan Bucur's patch that fixes a non-deterministic bug in the	Cristian Cadar
2009-06-03	Update a few things that got forgotten in the great "bout" to "ktest"	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar