diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 60a1bed2b6..96df073a84 100755 --- a/run-tests.php +++ b/run-tests.php @@ -517,6 +517,18 @@ NO_PROC_OPEN_ERROR; case '--shuffle': $shuffle = true; break; + case '--asan': + $environment['USE_ZEND_ALLOC'] = 0; + $environment['USE_TRACKED_ALLOC'] = 1; + $environment['SKIP_ASAN'] = 1; + $environment['SKIP_PERF_SENSITIVE'] = 1; + + $lsanSuppressions = __DIR__ . '/azure/lsan-suppressions.txt'; + if (file_exists($lsanSuppressions)) { + $environment['LSAN_OPTIONS'] = 'suppressions=' . $lsanSuppressions + . ':print_suppressions=0'; + } + break; //case 'w' case '-': // repeat check with full switch |