From d4e0437cfd5046d7f80450c2507a5a73cfafcfba Mon Sep 17 00:00:00 2001 From: Natalia Date: Mon, 24 Nov 2025 15:56:28 -0800 Subject: [PATCH 1/2] 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 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 From 2ded4bd893b977d1a3927bec3bfa49dfaad70dd7 Mon Sep 17 00:00:00 2001 From: nataliakokoromyti <126305457+nataliakokoromyti@users.noreply.github.com> Date: Tue, 16 Dec 2025 04:16:03 -0800 Subject: [PATCH 2/2] Update run-test.sh fix: preserve newline at eof --- 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 1d39e2093..1666ee1f9 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 -echo "$(echo 'export ASAN_OPTIONS=halt_on_error=0'; cat run-test.mk)" > run-test.mk \ No newline at end of file +{ echo 'export ASAN_OPTIONS=halt_on_error=0'; cat run-test.mk; } > run-test.mk.tmp && mv run-test.mk.tmp run-test.mk