15 May
2025
15 May
'25
8:49 p.m.
Instead of `--enable-sanitize`, maybe the configure flag could be `--enable-sanitizer=<option>` with `address` being the only option supported at first. This makes it straightforward to add support for other sanitizers later.