about summary refs log tree commit diff homepage
path: root/test/Runtime
AgeCommit message (Expand)Author
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
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 18:14:36 +0000