about summary refs log tree commit diff homepage
path: root/test/Runtime
AgeCommit message (Expand)Author
2022-06-15Spelling Fixesm-davis
2022-03-11FD_Fail: use /dev/zero instead of /etc/mtabMorgan Jones
2021-10-17test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc plat...Lukas Zaoral
2021-10-17test/Runtime/POSIX/Futimesat: Compile with -std=c99Lukas Zaoral
2021-06-19Test failure for WSL 1Pavel Yatcheniy
2020-12-23tests: add getcwd EINVAL testFrank Busse
2020-12-23klee-libc: simplify mempcpyFrank Busse
2020-11-09Test checking that __strcpy_chk is handled correctly when uclibc is usedCristian Cadar
2020-11-09Test checking that __strcat_chk is handled correctly with klee-libcCristian Cadar
2020-11-09Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCECristian Cadar
2020-11-09Test checking that __memchk_chk is handled correctly with the freestanding li...Cristian Cadar
2020-11-03fix: bcmp with n==0Alastair Reid
2020-10-30Add test for atexit orderTomas Jasek
2020-08-28Definition of __cxa_thread_atexit_impl for the KLEE libc.Alastair Reid
2020-04-09[posix-runtime] Improve model to handle full-path symbolic filesTimotej Kapus
2020-04-09[posix-runtime] Add test for full path consistency for symbolic filesTimotej Kapus
2020-03-22[posix-runtime] Simple GET/SET_LK modelTimotej Kapus
2019-11-07Added test for 3-argument main.Cristian Cadar
2019-11-05[test] Fix missing includesMartin Nowack
2019-10-31klee-libc: add bcmpJulian Büning
2019-08-14Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don'...Cristian Cadar
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before e...Cristian Cadar
2019-08-14Updated error messages in Gen*Bout.cCristian Cadar
2019-08-14Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-...Cristian Cadar
2019-08-01tests: fix Gen(Random)Bout.c: cd - command not foundFrank Busse
2019-03-31Made test/Runtime/POSIX/GenBout.c run in an isolated directoryAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew Santosa
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2018-12-19Added checks option category, moved --optimize to starting category, renamed ...Cristian Cadar
2018-11-02Replaced --no-externals and --allow-external-sym-calls with --external-calls,...Cristian Cadar
2018-10-29add %OOopt to recently added tests and ConcreteJulian Büning
2018-10-26Added gen-bout tool to generate ktest file (file.bout) using specified concre...Andrew Santosa
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:53:23 +0000