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 /unittests/Solver | |
| 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 'unittests/Solver')
0 files changed, 0 insertions, 0 deletions