This is analog to #233, which was raised by a colleague about a year ago.
The previous issue was for the @randobj decorator. This one is for @covergroup.
I looked at how you fixed the previous one, and I opened PR #275 that fixes this in the same way. I also included a unit test.
This is analog to #233, which was raised by a colleague about a year ago.
The previous issue was for the
@randobjdecorator. This one is for@covergroup.I looked at how you fixed the previous one, and I opened PR #275 that fixes this in the same way. I also included a unit test.