about summary refs log tree commit diff homepage
path: root/test/lit.site.cfg.in
AgeCommit message (Expand)Author
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-03-22Explicitly check if 32bit support is enabled for testingMartin Nowack
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-09tests: make UBSAN print stack tracesLukáš Zaoral
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2019-07-30fix two test issuesFelix Rath
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-12Add support to compile KLEE with MemorySanitizer (MSan)Martin Nowack
2019-03-07tests: rename xxclang to clangxxFrank Busse
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2018-11-06fix: actually set -O0 in test/concrete/CMakeLists.txtJulian Büning
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-10-17tests: disable CompressedExprLogging on zlib-less systemsFrank Busse
2018-10-10cmake/lit: add asan/non-asan, ubsan/non-ubsan flagsFrank Busse
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2017-11-26Replace confusing message in lit.site.cfg.in about the file being autogeneratedCristian Cadar
2017-01-14Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`Dan Liew
2016-02-14Try to fix the TravisCI build when using Z3 as the solver. TheDan Liew
2014-09-13[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.Daniel Dunbar
2014-04-14Update to new lit configuration to support changes in LLVM3.4Martin Nowack
2014-01-20Only run SELinux test if support for SELinux was detected at configureDan Liew
2014-01-20Removed all of llvm-lit's dependence on DejaGNU. A few thingsDan Liew
2014-01-20Allow llvm-lit from 2.9 to work by hacking %T substitution variable.Dan Liew
2014-01-20Add LLVM tool directory to PATH when running tests with llvm-lit.Dan Liew
2010-05-02Sketch support for running KLEE tests using 'lit'.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 22:57:45 +0000