about summary refs log tree commit diff homepage
path: root/test/Runtime
AgeCommit message (Expand)Author
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-17Add support for concretizing symbolic objects passed to external functionsTimotej Kapus
2018-05-09Fix test case to check for correct call stringMartin Nowack
2018-05-07Fixed test case to exercise modification to utimes()Cristian Cadar
2018-05-07Fixed utimes() behavior for symbolic files when the second argument is NULLyxliang01
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2017-08-10Added a basic test for klee-replayCristian Cadar
2017-03-17test: POSIX, stop FD_Fail to failJiri Slaby
2017-03-06test: POSIX/DirSeek, cleanupJiri Slaby
2016-05-28Fixed an incorrect read() invocation and missing includes for FD_Fail2.cCristian Cadar
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2015-09-25Don't use /tmp for futimesat unit testAndrew Chi
2015-04-01[tests] Fix undefined functionMartin Nowack
2014-09-15Generate fake files for test casesMartin Nowack
2014-09-14Enable test case againMartin Nowack
2014-09-14Use not test instead of non-existing FAIL.Martin Nowack
2014-09-14Fix testcase FD_Fail2.cMartin 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-29Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makesDan Liew
2014-01-20Only run klee-uclibc tests if KLEE was configured with klee-uclibcDan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Only run SELinux test if support for SELinux was detected at configureDan Liew
2014-01-20Added Runtime/POSIX/lit.local.cfg file that prevents the POSIXDan Liew
2014-01-20Fixed many tests that make use of the file tool to checkDan Liew
2013-11-14Add additional note that testcase might fail ifMartin Nowack
2013-11-02Fix Futimesat compilation with newer gcc and clangMartin Nowack
2013-10-14Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...Cristian Cadar
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
2012-04-05Removed unnecessary --init-env option.Cristian Cadar
2010-06-21Applied Stefan Bucur's patch that fixes a non-deterministic bug in theCristian Cadar
2009-06-03Update a few things that got forgotten in the great "bout" to "ktest"Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-02 21:14:38 +0000