github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-05 14:14:58 +00:00
Code Issues Releases Wiki Activity

Fix Verific run-test.mk setup

Browse Source
This commit is contained in:
Natalia
2025-11-24 15:56:28 -08:00
parent 510f9ef63d
commit d4e0437cfd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/verific/run-test.sh
View File

@@ -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