about summary refs log tree commit diff homepage
path: root/test/Runtime/POSIX
AgeCommit message (Expand)Author
2018-09-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-20Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the tes...Cristian Cadar
2018-09-20Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdi...Cristian Cadar
2018-09-20Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make st...Cristian Cadar
2018-09-10Add testcase to run POSIX environment and main without argumentsMartin Nowack
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
2018-09-06runtime: fix memory error in canonicalize_file_nameFrank Busse
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
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-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
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-11-26 01:42:30 +0000