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