| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-07 | test/Expr/Evaluate2.kquery: add link to issue | Julian Büning | |
| 2019-10-07 | fix: make llvm 7.1 known | Julian Büning | |
| 2019-10-07 | test/Feature/SolverTimeout.c: re-enable for Z3 | Julian Büning | |
| 2019-10-07 | test/lit.cfg: test if current version is known | Julian Büning | |
| 2019-10-07 | test/lit.cfg: use lit_config instead of lit | Julian Büning | |
| Since LLVM version 3.6.0 or lit version 0.5.0, `lit_config` is the name of the global object, not `lit`. | |||
| 2019-10-07 | Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is | Gleb Popov | |
| incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161 While there, remove dependence on `sort` utility, which might help porting KLEE Windows eventually. | |||
| 2019-09-20 | Move intrinsics tests to the proper directory | Mateusz Naściszewski | |
| 2019-09-20 | Add tests for saturating arithmetic | Mateusz Naściszewski | |
| 2019-09-05 | test/CMakeLists.txt: error handling for download | Julian Büning | |
| 2019-09-05 | test/CMakeLists.txt: use official llvm monorepo for download | Julian Büning | |
| 2019-08-14 | Update basic block iterator after deleting instruction; add test case | Martin Nowack | |
| 2019-08-14 | Rewrote the checks in GenRandomBout.c to remove dependency on bash and use ↵ | Cristian Cadar | |
| FileCheck instead (FreeBSD tests on Travis CI fail otherwise) | |||
| 2019-08-14 | Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they ↵ | Cristian Cadar | |
| don't need POSIX support to run. | |||
| 2019-08-14 | Replace sprintf with snprintf throughout codebase | Cristian Cadar | |
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before ↵ | Cristian Cadar | |
| executing the program. | |||
| 2019-08-14 | Updated error messages in Gen*Bout.c | Cristian Cadar | |
| 2019-08-14 | Cleaned up messages emitted by klee-replay, and prefixed them all with ↵ | Cristian Cadar | |
| "KLEE-REPLAY:" to distinguish them from those printed by the replayed program | |||
| 2019-08-01 | tests: fix Gen(Random)Bout.c: cd - command not found | Frank Busse | |
| 2019-07-30 | Use #include "klee/..." (instead of #include <klee/...>) consistently. | Cristian Cadar | |
| 2019-07-30 | fix two test issues | Felix Rath | |
| * Add 'uclibc'-feature for testing if it is enabled * -> allow tests to depend on uclibc-availability * ENABLE_UCLIBC was redundant, use SUPPORT_KLEE_UCLIBC instead * Cleaned up 'libcxx'-feature availability detection | |||
| 2019-07-30 | Add missing dependencies for `check` target | Martin Nowack | |
| Build `gen-bout` and `gen-random-bout` before running tests | |||
| 2019-07-29 | Fixed incorrect requires directive | Cristian Cadar | |
| 2019-05-30 | fix tests for macOS | Julian Büning | |
| 2019-05-30 | implement FunctionAliasPass | Julian Büning | |
| 2019-05-30 | remove klee_alias_function() | Julian Büning | |
| this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. | |||
| 2019-05-28 | Implement handling of the llvm.fabs intrinsic | Felix Rath | |
| 2019-05-06 | Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test. | Gleb Popov | |
| 2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
| 2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2019-04-02 | Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD | Gleb Popov | |
| 2019-03-31 | Made test/Runtime/POSIX/GenBout.c run in an isolated directory | Andrew Santosa | |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa | |
| * Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg | |||
| 2019-03-21 | remove tests for LLVM <= 3.7 | Julian Büning | |
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-20 | tests: add STPDumpDebugQueries.c | Frank Busse | |
| 2019-03-19 | Add Read consistency test case, spelling | Timotej Kapus | |
| 2019-03-18 | Disable optimisation for functions that contain KLEE calls | Martin Nowack | |
| Compilers are allowed to hoist function calls and do GVE. This is currently done even without `--optimization` enabled. This is unfortunate in the context of KLEE function calls that might depend on specific code position without direct control flow dependencies. In such cases, function calls can be hoisted. To circumvent this, disallow to optimise functions that contain such calls by default. This might reduce optimisation for some functions containing such function calls but still allows it for all others. This patch adds an additional pass, that detects all functions starting with a prefix `klee_` and disable optimisations for functions containing such calls. This is enabled by default but can be disabled by `--klee-call-optimisation=false`. | |||
| 2019-03-18 | make test/Feature/srem.c more explicit | Julian Büning | |
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and ↵ | Cristian Cadar | |
| placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace. | |||
| 2019-03-13 | Renamed --no-output to --write-no-tests and placed it in the test case ↵ | Cristian Cadar | |
| category (with --write-cov, --write-cvcs etc.) | |||
| 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() ↵ | Cristian Cadar | |
| function and updated some .ll tests to use --optimize=false instead of --disable-opt | |||
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |