Skip to content
Build and Test HW-CBMC

Verilog: casts from real to int #4063

Sign in to view logs

Verilog: casts from real to int

Verilog: casts from real to int #4063

Triggered via pull request June 4, 2025 00:50
@kroeningkroening
opened #1138
cast_from_real2
Status Failure
Total duration 15m 16s
Artifacts 2

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-make-clang
8m 22s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
8m 36s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 8s
CentOS 8
check-macos-14-make-clang
8m 55s
check-macos-14-make-clang
Emscripten build
2m 23s
Emscripten build
check-vs-2022-make-build-and-test
15m 8s
check-vs-2022-make-build-and-test
benchmarking
3m 37s
benchmarking
ebmc-spot
33s
ebmc-spot
examples
7s
examples
Fit to window
Zoom out
Zoom in

Annotations

1 error and 11 warnings
check-macos-14-make-clang
Process completed with exit code 2.
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-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.
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-macos-14-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.

Artifacts

Produced during runtime
Name Size Digest
ebmc-binary Expired
2.71 MB
sha256:48cee33955298268d0bfc274e7f7beae18541ab588b0ad6ba88fb9449b37eecd
vlindex-binary Expired
794 KB
sha256:8d9905104df9f13ec6f893a28462c78868cb991f8ccff0dcf62d39e366736fb9