Age | Commit message (Expand) | Author |
2019-03-13 | Renamed --no-output to --write-no-tests and placed it in the test case catego... | Cristian Cadar |
2019-03-12 | Exclude testcases not compatible with MSan | Martin Nowack |
2019-03-12 | Add support to compile KLEE with MemorySanitizer (MSan) | Martin Nowack |
2019-03-12 | Fixed comments to objectsize.ll and objectsize.leq49.ll | Cristian Cadar |
2019-03-12 | Removed unneeded and confusing disable-opt option, reformatted Optimize() fun... | Cristian Cadar |
2019-03-07 | tests: rename xxclang to clangxx | Frank Busse |
2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar |
2019-03-05 | add regression test for LLVM PR39177 | Julian Büning |
2019-03-05 | fix Executor::initializeGlobals for aliases pointing to another alias | Julian Büning |
2018-12-19 | regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:' | Frank Busse |
2018-12-19 | Various fixes for ktest-tool | Frank Busse |
2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ... | Cristian Cadar |
2018-12-19 | Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251 | Cristian Cadar |
2018-11-23 | Implemented memalign with alignment | Lukas Wölfer |
2018-11-06 | fix: actually set -O0 in test/concrete/CMakeLists.txt | Julian Büning |
2018-11-05 | Fixed crash on zero size arrays | Lukas Wölfer |
2018-11-05 | Check for stack overflow in a tested program | Martin Nowack |
2018-11-02 | Added test for the case where external calls are encountered but disallowed | Cristian Cadar |
2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with --external-calls,... | Cristian Cadar |
2018-11-02 | The test DeterministicSwitch.c does not need to allow external symbolic 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-10-26 | llvm5: test, change objectsize | Jiri Slaby |
2018-10-24 | Add testcase for shift check | Martin Nowack |
2018-10-24 | Add test case for div checker | Martin Nowack |
2018-10-24 | Added lowering pass | Rafael Zaehl |
2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli |
2018-10-23 | Added support for KLEE index-based array optimization | Andrea Mattavelli |
2018-10-17 | tests: disable CompressedExprLogging on zlib-less systems | Frank Busse |
2018-10-10 | fix handling of failing external calls | Frank Busse |
2018-10-10 | cmake/lit: add asan/non-asan, ubsan/non-ubsan flags | Frank Busse |
2018-10-08 | add support for klee-replay on OSX | Frank Busse |
2018-09-30 | Fix a crash when the last running state is terminated during merging | Lukas Wölfer |
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-10 | Add POSIX runtime as dependency for the test case | Martin Nowack |
2018-09-10 | Unify the error message if that function has not been found. | 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-09-06 | Avoid Vararg non-deterministic allocation | Martin Nowack |
2018-08-03 | Fixed runtest library to handle the case of a NULL "name" argument in klee_ma... | Cristian Cadar |
2018-08-03 | [clang-format]Allow longer codelines in test/ | Martin Nowack |
2018-08-01 | test: remove geq-llvm-3.4 | Julian Büning |
2018-07-28 | remove last comma from -debug-print-escaping-functions | Julian Büning |
2018-07-28 | test/Feature/EscapingFunctionsAlias.c: clarify alias(ee) casting | Julian Büning |