SystemVerilog: fix identifier on enum type #3180

Annotations

1 error and 1 warning

Set up job

Run actions/checkout@v4

Fetch dependencies

31s

Confirm z3 solver is available and log the version installed

Prepare ccache

ccache environment

Zero ccache stats and limit in size

Get cadical and minisat

Build with make

17s

Run unit tests

Run the ebmc tests with SAT

Run the ebmc tests with Z3

13s

Run the verilog tests

Run the verilog tests with Z3

Run the smv tests

Run the smv tests with Z3

Run the vlindex tests

Print ccache stats

Upload the ebmc binary

Upload the vlindex binary

Post Prepare ccache

Post Run actions/checkout@v4

Complete job