| Age | Commit message (Expand) | Author |
|---|
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place... | Cristian Cadar |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar |
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ... | Cristian Cadar |
| 2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with --external-calls,... | Cristian Cadar |
| 2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning |
| 2018-10-26 | Added gen-bout tool to generate ktest file (file.bout) using specified concre... | Andrew Santosa |
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby |
| 2018-09-29 | Changed code to create up to 100 properly-numbered symbolic arguments, and ad... | Cristian Cadar |
| 2018-09-29 | Add checks for correct usage of the POSIX model, together with an associated ... | Cristian Cadar |
| 2018-09-20 | Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the tes... | Cristian Cadar |
| 2018-09-20 | Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdi... | Cristian Cadar |
| 2018-09-20 | Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make st... | Cristian Cadar |
| 2018-09-10 | Add testcase to run POSIX environment and main without arguments | Martin Nowack |
| 2018-09-06 | Use FileCheck and LINE instead of grep if possible | Martin Nowack |
| 2018-09-06 | runtime: fix memory error in canonicalize_file_name | Frank Busse |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack |
| 2018-05-17 | Add support for concretizing symbolic objects passed to external functions | Timotej Kapus |
| 2018-05-09 | Fix test case to check for correct call string | Martin Nowack |
| 2018-05-07 | Fixed test case to exercise modification to utimes() | Cristian Cadar |
| 2018-05-07 | Fixed utimes() behavior for symbolic files when the second argument is NULL | yxliang01 |
| 2018-05-05 | Fix handling of errno if external functions are invoked | Martin Nowack |
| 2017-08-10 | Added a basic test for klee-replay | Cristian Cadar |
| 2017-03-17 | test: POSIX, stop FD_Fail to fail | Jiri Slaby |
| 2017-03-06 | test: POSIX/DirSeek, cleanup | Jiri Slaby |
| 2016-05-28 | Fixed an incorrect read() invocation and missing includes for FD_Fail2.c | Cristian Cadar |
| 2016-05-24 | Split creation of symbolic files and stdin in two distinct options | Andrea Mattavelli |
| 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 |
