Always use colors in ASan

saethlin · Jul 29, 2023 · 8af474a · 8af474a
1 parent 4918175
commit 8af474a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/run.sh b/docker/run.sh
@@ -16,7 +16,7 @@ elif [[ $TOOL == "asan" ]]; then
     ulimit -s 1048576
     export RUST_MIN_STACK=1073741824
     export RUSTFLAGS="$RUSTFLAGS -Cdebuginfo=1 -Zstrict-init-checks=no"
-    export ASAN_OPTIONS="detect_stack_use_after_return=true:allocator_may_return_null=1:detect_invalid_pointer_pairs=2"
+    export ASAN_OPTIONS="color=always:detect_leaks=0:detect_stack_use_after_return=true:allocator_may_return_null=1:detect_invalid_pointer_pairs=2"
 elif [[ $TOOL == "miri" ]]; then
     export RUSTFLAGS="$RUSTFLAGS -Zrandomize-layout -Cdebuginfo=0"
     export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-panic-on-unsupported"