about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Collapse)Author
2019-11-05[test] Fix missing includesMartin Nowack
Fix multiple missing includes
2019-10-31Executor: fix missing default case in switch instructionFrank Busse
2019-10-31enable testing for LLVM 9.0Julian Büning
2019-10-31LLVM 9.0: fourth parameter for @llvm.objectsize()Julian Büning
2019-10-31klee-libc: add bcmpJulian Büning
2019-10-07test/Expr/Evaluate2.kquery: add link to issueJulian Büning
2019-10-07fix: make llvm 7.1 knownJulian Büning
2019-10-07test/Feature/SolverTimeout.c: re-enable for Z3Julian Büning
2019-10-07test/lit.cfg: test if current version is knownJulian Büning
2019-10-07test/lit.cfg: use lit_config instead of litJulian 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-07Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it isGleb 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-20Move intrinsics tests to the proper directoryMateusz Naściszewski
2019-09-20Add tests for saturating arithmeticMateusz Naściszewski
2019-09-05test/CMakeLists.txt: error handling for downloadJulian Büning
2019-09-05test/CMakeLists.txt: use official llvm monorepo for downloadJulian Büning
2019-08-14Update basic block iterator after deleting instruction; add test caseMartin Nowack
2019-08-14Rewrote 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-14Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they ↵Cristian Cadar
don't need POSIX support to run.
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before ↵Cristian Cadar
executing the program.
2019-08-14Updated error messages in Gen*Bout.cCristian Cadar
2019-08-14Cleaned 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-01tests: fix Gen(Random)Bout.c: cd - command not foundFrank Busse
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-07-30fix two test issuesFelix 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-30Add missing dependencies for `check` targetMartin Nowack
Build `gen-bout` and `gen-random-bout` before running tests
2019-07-29Fixed incorrect requires directiveCristian Cadar
2019-05-30fix tests for macOSJulian Büning
2019-05-30implement FunctionAliasPassJulian Büning
2019-05-30remove 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-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-05-06Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.Gleb Popov
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-04-02Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSDGleb Popov
2019-03-31Made test/Runtime/POSIX/GenBout.c run in an isolated directoryAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew 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-21remove tests for LLVM <= 3.7Julian Büning
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-20tests: add STPDumpDebugQueries.cFrank Busse
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-18Disable optimisation for functions that contain KLEE callsMartin 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-18make test/Feature/srem.c more explicitJulian Büning
2019-03-17Fix libc++ testcasesMartin 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-17Added libcxx flagLukas Wölfer
2019-03-15Renamed --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-13Renamed --no-output to --write-no-tests and placed it in the test case ↵Cristian Cadar
category (with --write-cov, --write-cvcs etc.)
2019-03-12Exclude testcases not compatible with MSanMartin Nowack
2019-03-12Add support to compile KLEE with MemorySanitizer (MSan)Martin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-28 08:54:30 +0000