about summary refs log tree commit diff homepage
path: root/test/lit.cfg
AgeCommit message (Expand)Author
2019-03-31Various updates to gen-random-bout.cppAndrew Santosa
2019-03-21drop support for LLVM <= 3.7Julian Büning
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-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-10-17tests: disable CompressedExprLogging on zlib-less systemsFrank Busse
2018-10-10cmake/lit: add asan/non-asan, ubsan/non-ubsan flagsFrank Busse
2018-07-02test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported)Julian Büning
2018-05-24test: add versions of some tests for LLVM 3.7Richard Trembecký
2017-08-10Added a basic test for klee-replayCristian Cadar
2017-07-23Updated test cases to reflect removal of LLVM 2.9Martin Nowack
2017-05-24travis CI: add LLVM 3.5 and 3.6 testsJiri Slaby
2017-04-06[NFC] Reindent `test/lit.cfg` and add vim mode line to use rightDan Liew
2017-04-06test: lit, add geq/lt-llvm- configsJiri Slaby
2017-03-15[Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-...Dan Liew
2017-01-14Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`Dan Liew
2017-01-08tests: Added substitution for llvm-arAdrian Herrera
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-02-14Try to fix the TravisCI build when using Z3 as the solver. TheDan Liew
2015-12-19Implement support for lowering the ``llvm.objectsize`` intrinsicDan Liew
2015-12-16Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),Dan Liew
2014-10-08Fixes support for passing arguments to klee in the ConcreteTests.Willem
2014-09-15Generate fake files for test casesMartin Nowack
2014-09-13[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.Daniel Dunbar
2014-09-12Add support for testing Concrete tests via lit.Daniel Dunbar
2014-04-14Update to new lit configuration to support changes in LLVM3.4Martin Nowack
2014-02-09Merge pull request #100 from delcypher/pass-param-llvm-litCristian Cadar
2014-02-04Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environmentDan Liew
2014-01-28Allow passing arbitrary command line flags to klee and kleaverDan Liew
2014-01-20Give absolute paths to KLEE's tools in lit.cfg . This fixes a longDan Liew
2014-01-20Removed all of llvm-lit's dependence on DejaGNU. A few thingsDan Liew
2014-01-20Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variableDan Liew
2014-01-20Allow llvm-lit from 2.9 to work by hacking %T substitution variable.Dan Liew
2014-01-20Put llvm tools directory at beginning of PATH list so that the LLVMDan Liew
2014-01-20Add LLVM tool directory to PATH when running tests with llvm-lit.Dan Liew
2014-01-20Removed use of deprecated Tcl parser for tests. This allowsDan 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-09-21 17:53:19 +0000