Skip to content
Build and Test HW-CBMC

Verilog: allow typedefs as enums #5543

Sign in to view logs

Verilog: allow typedefs as enums

Verilog: allow typedefs as enums #5543

ebmc-spot

ebmc-spot
succeeded Dec 28, 2025 in 35s