luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI: Reenable address sanitizer and fix core dumps (#4983)

This commit is contained in:
Wilson Snyder 2024-03-15 21:06:21 -04:00
parent 3a28ed24ea
commit 0cab076b86
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/ci-install.bash
View File

@ -120,6 +120,8 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
fi fi
yes yes | sudo cpan -M $CI_CPAN_REPO -fi Parallel::Forker yes yes | sudo cpan -M $CI_CPAN_REPO -fi Parallel::Forker
install-vcddiff install-vcddiff
# Workaround -fsanitize=address crash
sudo sysctl -w vm.mmap_rnd_bits=28
else else
############################################################################## ##############################################################################
# Unknown build stage # Unknown build stage

3
ci/ci-script.bash
View File

@ -85,8 +85,7 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
fi fi
# Run sanitize on Ubuntu 22.04 only # Run sanitize on Ubuntu 22.04 only
#[ "$CI_RUNS_ON" = 'ubuntu-22.04' ] && sanitize='--sanitize' || sanitize='' [ "$CI_RUNS_ON" = 'ubuntu-22.04' ] && sanitize='--sanitize' || sanitize=''
sanitize=''
TEST_REGRESS=test_regress TEST_REGRESS=test_regress
if [ "$CI_RELOC" == 1 ]; then if [ "$CI_RELOC" == 1 ]; then