# leaks, so we must unfortunately disable leak detection. Append it to
# existing ASAN_OPTIONS, such that we override the user's value if it
# contains detect_leaks=1.
# leaks, so we must unfortunately disable leak detection. Append it to
# existing ASAN_OPTIONS, such that we override the user's value if it
# contains detect_leaks=1.