Closed EdaphicStudio closed 5 years ago
In the following example standing on READ (//^) inside the constraint should resolve to READ (//X) inside the enum. It doesn't!
//^
//X
typedef enum { NOP, READ, //X WRITE } ubus_read_write_enum; class ubus_transfer extends uvm_sequence_item; rand ubus_read_write_enum read_write; constraint c_read_write { read_write inside { READ, WRITE }; //^ } endclass
Fixed in BETA10
In the following example standing on READ (
//^
) inside the constraint should resolve to READ (//X
) inside the enum. It doesn't!