Skip to content

SVA: add test with non-constant SVA cycle delays #3287

SVA: add test with non-constant SVA cycle delays

SVA: add test with non-constant SVA cycle delays #3287

Annotations

2 warnings

CentOS 8

succeeded Jan 17, 2025 in 1m 0s
Set up job
1s
Initialize containers
6s
Install Packages
15s
cache for ccache
2s
Run actions/checkout@v4
6s
Zero ccache stats and limit in size
0s
ccache path
0s
Get cadical and minisat
0s
Build with make
5s
Run unit tests
0s
Run the ebmc tests with SAT
9s
Run the verilog tests
4s
Run the smv tests
1s
Run the vlindex tests
0s
Print ccache stats
0s
Post Run actions/checkout@v4
0s
Post cache for ccache
7s
Stop containers
1s
Complete job
0s