Skip to content
Build and Test HW-CBMC

cast from 2-valued to aval/bval 4-valued vectors #1914

Sign in to view logs

cast from 2-valued to aval/bval 4-valued vectors

cast from 2-valued to aval/bval 4-valued vectors #1914

Triggered via pull request June 21, 2024 23:46
@kroeningkroening
synchronize #569
avalbval-tc
Status Failure
Total duration 1m 31s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
1m 0s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
1m 16s
check-ubuntu-20_04-make-clang
CentOS 8
48s
CentOS 8
check-macos-14-make-clang
1m 24s
check-macos-14-make-clang
Emscripten build
39s
Emscripten build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
check-macos-14-make-clang
Process completed with exit code 2.