Skip to content
Build and Test HW-CBMC

Verilog: allow typedefs as enums #5543

Sign in to view logs

Verilog: allow typedefs as enums

Verilog: allow typedefs as enums #5543

Triggered via pull request December 28, 2025 21:06
@kroeningkroening
opened #1546
enum_vs_typedef1-fix
Status Success
Total duration 6m 34s
Artifacts 3

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-make-clang
3m 4s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
2m 27s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 7s
CentOS 8
check-macos-15-make-clang
2m 2s
check-macos-15-make-clang
Emscripten build
1m 44s
Emscripten build
check-vs-2022-make-build-and-test
2m 41s
check-vs-2022-make-build-and-test
benchmarking
3m 24s
benchmarking
ebmc-spot
35s
ebmc-spot
examples
10s
examples
check-ubuntu-24_04-make-clang-KNOWNBUG
45s
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.
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-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-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-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.
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.83 MB
sha256:0257fc494ed0085556781eae1a7fe3710e755136d3a9964b7a97adfad489849c
hw-cbmc-binary Expired
5.27 MB
sha256:26110fe5b3a22df48a4c0cb55f7200e50771acabd37d712a8519cca8691a7e90
vlindex-binary Expired
811 KB
sha256:39ebd60978745a863c34bab6aefb89fc771206cd73f0548b6799fa2825f02d54