The test doesn't export ASAN_OPTIONS, so $ASAN_OPTIONS should not be used in RUN lines.