index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
/
CMakeLists.txt
Age
Commit message (
Expand
)
Author
2020-12-02
Detect system include headers on macOS
Martin Nowack
2020-11-04
[cmake] Remove several leftovers from old autoconf build system
Martin Nowack
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-07-30
fix two test issues
Felix Rath
2019-07-30
Add missing dependencies for `check` target
Martin Nowack
2018-10-08
add support for klee-replay on OSX
Frank Busse
2017-11-26
Replace confusing message in lit.site.cfg.in about the file being autogenerated
Cristian Cadar
2017-04-08
[CMake] Don't redownload FileCheck.cpp if it exists
emlai
2017-03-17
test: fix 'not' build
Jiri Slaby
2017-01-19
Teach both build systems to pass the user provided CXXFLAGS and CFLAGS
Dan Liew
2017-01-16
[CMake] Rename "integrationtests" to "systemtests".
Dan Liew
2017-01-14
Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`
Dan Liew
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
