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 /Makefile | |
| 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.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions