diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-06 11:11:36 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-15 18:52:07 +0000 |
| commit | f58a88d204202f5cea366bba63fb982a03c65149 (patch) | |
| tree | 323c80e9acc1e8afd7dfec6461e7869daf999112 | |
| parent | 76bcb45aab9c86c63db3b834cca6126effd1c112 (diff) | |
| download | klee-f58a88d204202f5cea366bba63fb982a03c65149.tar.gz | |
[Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-*' features that exist if target operating system does not match a list of know operating systems.
| -rw-r--r-- | test/lit.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 31552882..dd2fbc13 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -151,3 +151,11 @@ else: # POSIX runtime feature if config.enable_posix_runtime: config.available_features.add('posix-runtime') + +# Target operating system features +supported_targets = ['linux', 'darwin'] +for target in supported_targets: + if config.target_triple.find(target) != -1: + config.available_features.add(target) + else: + config.available_features.add('not-{}'.format(target)) |