Skip to content

Verilog: extract scope data structure from parser #3313

Verilog: extract scope data structure from parser

Verilog: extract scope data structure from parser #3313

Annotations

2 warnings

check-macos-14-make-clang

succeeded Jan 28, 2025 in 2m 20s
Set up job
1s
Run actions/checkout@v4
14s
Fetch dependencies
16s
Confirm z3 solver is available and log the version installed
0s
Prepare ccache
12s
ccache environment
0s
Zero ccache stats and limit in size
0s
Get cadical and minisat
3s
Build with make
12s
Run unit tests
0s
Run the ebmc tests with SAT
9s
Run the ebmc tests with Z3
11s
Run the verilog tests
13s
Run the verilog tests with Z3
15s
Run the smv tests
1s
Run the smv tests with Z3
0s
Run the vlindex tests
0s
Print ccache stats
0s
Post Prepare ccache
20s
Post Run actions/checkout@v4
0s
Complete job
0s