github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-01 12:17:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

CI: internal coverage updates

Browse Source
This commit is contained in:
Wilson Snyder 2020-12-08 08:00:24 -05:00
parent 7892c5af13
commit 90e0c9bdcd
2 changed files with 5 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
.github/workflows/coverage.yml vendored
View File

@ -54,48 +54,8 @@ jobs:
CI_BUILD_STAGE_NAME: test
run: bash ci/ci-install.bash
- name: Test coverage-dist
- name: Test coverage-all
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-dist
run: bash ci/ci-script.bash
- name: Test coverage-vlt-0
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vlt-0
run: bash ci/ci-script.bash
- name: Test coverage-vlt-1
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vlt-1
run: bash ci/ci-script.bash
- name: Test coverage-vlt-2
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vlt-2
run: bash ci/ci-script.bash
- name: Test coverage-vlt-3
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vlt-3
run: bash ci/ci-script.bash
- name: Test coverage-vltmt-0
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vltmt-0
run: bash ci/ci-script.bash
- name: Test coverage-vltmt-1
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vltmt-1
run: bash ci/ci-script.bash
- name: Test coverage-vltmt-2
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vltmt-2
run: bash ci/ci-script.bash
- name: Test coverage-vltmt-3
env:
CI_BUILD_STAGE_NAME: test
TESTS: coverage-vltmt-3
TESTS: coverage-all
run: bash ci/ci-script.bash

3
ci/ci-script.bash
View File

@ -91,6 +91,9 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then
vltmt-1)
"$MAKE" -C test_regress SCENARIOS=--vltmt DRIVER_HASHSET=--hashset=1/2
;;
coverage-all)
nodist/code_coverage --stages 3-
;;
coverage-dist)
nodist/code_coverage --stages 3- --scenarios=--dist
;;