From 71775eae4c775412daca9c97b8b4a434fe73885e Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 15 Mar 2024 10:32:31 -0400 Subject: [PATCH] sanitize --- bin/verilator | 3 +-- ci/ci-script.bash | 3 ++- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/verilator b/bin/verilator index d38058f77..64a41305c 100755 --- a/bin/verilator +++ b/bin/verilator @@ -308,7 +308,6 @@ detailed descriptions of these arguments. +1800-2009ext+ Use SystemVerilog 2009 with file extension +1800-2012ext+ Use SystemVerilog 2012 with file extension +1800-2017ext+ Use SystemVerilog 2017 with file extension - +1800-2023ext+ Use SystemVerilog 2023 with file extension --assert Enable all assertions --assert-case Enable unique/unique0/priority case related checks --autoflush Flush streams after all $displays @@ -438,7 +437,7 @@ detailed descriptions of these arguments. --no-stop-fail Do not call $stop when assertion fails --structs-packed Convert all unpacked structures to packed structures -sv Enable SystemVerilog parsing - +systemverilogext+ Synonym for +1800-2023ext+ + +systemverilogext+ Synonym for +1800-2017ext+ --threads Enable multithreading --threads-dpi Enable multithreaded DPI --threads-max-mtasks Tune maximum mtask partitioning diff --git a/ci/ci-script.bash b/ci/ci-script.bash index 17e707078..ba08f531d 100755 --- a/ci/ci-script.bash +++ b/ci/ci-script.bash @@ -85,7 +85,8 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then fi # 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 if [ "$CI_RELOC" == 1 ]; then