Skip to content
Build and Test HW-CBMC

Verilog: fix semantics of cover disable iff #4886

Sign in to view logs

Verilog: fix semantics of cover disable iff

Verilog: fix semantics of cover disable iff #4886

Triggered via pull request October 22, 2025 18:57
@kroeningkroening
synchronize #1346
cover_sequence5-fix
Status Success
Total duration 10m 43s
Artifacts 3

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-make-clang
5m 4s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
3m 9s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 25s
CentOS 8
check-macos-15-make-clang
2m 36s
check-macos-15-make-clang
Emscripten build
3m 3s
Emscripten build
check-vs-2022-make-build-and-test
3m 0s
check-vs-2022-make-build-and-test
benchmarking
5m 18s
benchmarking
ebmc-spot
2m 10s
ebmc-spot
examples
11s
examples
check-ubuntu-24_04-make-clang-KNOWNBUG
2m 58s
check-ubuntu-24_04-make-clang-KNOWNBUG
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Artifacts

Produced during runtime
Name Size Digest
ebmc-binary Expired
2.8 MB
sha256:07160d2a5bcbb7820746e5cb730170e628dd93199b0b9f8cc21dd9acfd65a7f0
hw-cbmc-binary Expired
5.25 MB
sha256:0911b1b25c01a8cd5bd18476f1aaf1ee6261b062fe43f1efac8961483983dfca
vlindex-binary Expired
807 KB
sha256:936cd4c2c6ad4e3554d91bb85d702c0b00bb904dc06250ffff0c91a0790ca745