diff options
| author | Felix Rath <felix.rath@comsys.rwth-aachen.de> | 2019-07-29 11:45:48 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-07-30 12:38:57 +0100 |
| commit | eef4fc08530f357cc49109dc738f1ab4c519a42c (patch) | |
| tree | d838a0e970a0b9d9272080821ff9df6a54dadc05 /test/lit.site.cfg.in | |
| parent | 7547a1a17d93e68b62b942253e0c14fd324d1b75 (diff) | |
| download | klee-eef4fc08530f357cc49109dc738f1ab4c519a42c.tar.gz | |
fix two test issues
* 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
Diffstat (limited to 'test/lit.site.cfg.in')
| -rw-r--r-- | test/lit.site.cfg.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in index 6ee041d1..99c82bb8 100644 --- a/test/lit.site.cfg.in +++ b/test/lit.site.cfg.in @@ -29,7 +29,7 @@ if @LLVM_VERSION_MAJOR@ >= 5: config.O0opt += " -Xclang -disable-O0-optnone" # Features -config.enable_uclibc = True if @ENABLE_UCLIBC@ == 1 else False +config.enable_uclibc = True if @SUPPORT_KLEE_UCLIBC@ == 1 else False config.enable_posix_runtime = True if @ENABLE_POSIX_RUNTIME@ == 1 else False config.enable_libcxx = True if @SUPPORT_KLEE_LIBCXX@ == 1 else False config.have_selinux = True if @HAVE_SELINUX@ == 1 else False |