ASAN_OPTIONS it is

[50Wliu]

:/

[50Wliu]

@disha-jain I suppose the very last step to making sure this 1000% works is to remove the PATH line from your bash_profile and run the steps from scratch and make sure it works

[50Wliu]

For anyone from the future, here's the quick postmortem:

• -fsanitize=leak WORKS without changes
• -fsanitize=address,leak overrides LeakSanitizer with AddressSanitizer, and AddressSanitizer only runs LeakSanitizer if detect_leaks=1.

So if you want both, you either run two separate sanitize runs, or set the environment variable.