diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-16 12:32:15 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-16 12:35:10 +0000 |
| commit | ff324507b28c5ad9a2331f475a453c571d04d058 (patch) | |
| tree | 3182b3da848105679874fb46aa7e9716d8944a1e | |
| parent | 6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde (diff) | |
| download | klee-ff324507b28c5ad9a2331f475a453c571d04d058.tar.gz | |
Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),
MemorySanitzer and ThreadSanitizer environment variables when running lit tests. This makes it easy suppress errors in sanitized versions of KLEE
| -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 0be49bd8..06ad17aa 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -56,6 +56,14 @@ def addEnv(name): addEnv('HOME') addEnv('PWD') +# Sanitizer environment variables +addEnv('ASAN_OPTIONS') +addEnv('ASAN_SYMBOLIZER_PATH') +addEnv('LSAN_OPTIONS') +addEnv('MSAN_OPTIONS') +addEnv('MSAN_SYMBOLIZER_PATH') +addEnv('TSAN_OPTIONS') + # llvm-gcc on Ubuntu needs to be told where to look # for headers. If user has these in their environment # we should propagate to test environment |