From d4e0437cfd5046d7f80450c2507a5a73cfafcfba Mon Sep 17 00:00:00 2001
From: Natalia <nataliakokoromyti@gmail.com>
Date: Mon, 24 Nov 2025 15:56:28 -0800
Subject: [PATCH] Fix Verific run-test.mk setup

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

diff --git a/tests/verific/run-test.sh b/tests/verific/run-test.sh
index 2e340916da7..1d39e20937c 100755
--- a/tests/verific/run-test.sh
+++ b/tests/verific/run-test.sh
@@ -2,4 +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
+echo "$(echo 'export ASAN_OPTIONS=halt_on_error=0'; cat run-test.mk)" > run-test.mk
\ No newline at end of file