From 017524d7a2a1a170b1f22ae3df996b3b4ce875d6 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 28 Jun 2025 11:33:18 +1200
Subject: [PATCH] tests/verific: Don't ASAN verific

---
 tests/verific/run-test.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/verific/run-test.sh b/tests/verific/run-test.sh
index dee032827..2e340916d 100755
--- a/tests/verific/run-test.sh
+++ b/tests/verific/run-test.sh
@@ -2,3 +2,4 @@
 set -eu
 source ../gen-tests-makefile.sh
 generate_mk --yosys-scripts --bash
+sed -i '1i\export ASAN_OPTIONS=halt_on_error=0' run-test.mk