From d9fb46b5acea0c4633652626cc2d01ae5f52d148 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Mon, 21 Jul 2025 17:08:38 -0700
Subject: [PATCH] Use a better method of fixing up Verific run-test.mk

---
 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 2e340916d..1d39e2093 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