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

sanitize

This commit is contained in:
Wilson Snyder 2024-03-15 10:32:31 -04:00
parent 953249aa43
commit 71775eae4c
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
bin/verilator
View File

@ -308,7 +308,6 @@ detailed descriptions of these arguments.
+1800-2009ext+<ext> Use SystemVerilog 2009 with file extension <ext> +1800-2009ext+<ext> Use SystemVerilog 2009 with file extension <ext>
+1800-2012ext+<ext> Use SystemVerilog 2012 with file extension <ext> +1800-2012ext+<ext> Use SystemVerilog 2012 with file extension <ext>
+1800-2017ext+<ext> Use SystemVerilog 2017 with file extension <ext> +1800-2017ext+<ext> Use SystemVerilog 2017 with file extension <ext>
+1800-2023ext+<ext> Use SystemVerilog 2023 with file extension <ext>
--assert Enable all assertions --assert Enable all assertions
--assert-case Enable unique/unique0/priority case related checks --assert-case Enable unique/unique0/priority case related checks
--autoflush Flush streams after all $displays --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 --no-stop-fail Do not call $stop when assertion fails
--structs-packed Convert all unpacked structures to packed structures --structs-packed Convert all unpacked structures to packed structures
-sv Enable SystemVerilog parsing -sv Enable SystemVerilog parsing
+systemverilogext+<ext> Synonym for +1800-2023ext+<ext> +systemverilogext+<ext> Synonym for +1800-2017ext+<ext>
--threads <threads> Enable multithreading --threads <threads> Enable multithreading
--threads-dpi <mode> Enable multithreaded DPI --threads-dpi <mode> Enable multithreaded DPI
--threads-max-mtasks <mtasks> Tune maximum mtask partitioning --threads-max-mtasks <mtasks> Tune maximum mtask partitioning

3
ci/ci-script.bash
View File

@ -85,7 +85,8 @@ 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