3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-02 02:48:49 +00:00

tests/verific: Don't ASAN verific

This commit is contained in:
Krystine Sherwin 2025-06-28 11:33:18 +12:00
parent e6961d8c9f
commit 017524d7a2
No known key found for this signature in database

View file

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