Skip to content
Build and Test HW-CBMC

Verilog SVA: indexed nexttime and s_nexttime #1796

Sign in to view logs

Verilog SVA: indexed nexttime and s_nexttime

Verilog SVA: indexed nexttime and s_nexttime #1796

Triggered via pull request June 5, 2024 02:02
@kroeningkroening
opened #533
indexed_nexttime
Status Failure
Total duration 2m 49s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
1m 18s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
1m 37s
check-ubuntu-20_04-make-clang
CentOS 8
1m 11s
CentOS 8
check-macos-12-make-clang
2m 39s
check-macos-12-make-clang
Fit to window
Zoom out
Zoom in

Annotations

4 errors
CentOS 8
Process completed with exit code 2.
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-12-make-clang
Process completed with exit code 2.