I think I found a bug in the UVM library (the reporter). How do I go about filing bug reports?

UVM
,
6

In reply to michael_g1:

I think you mean the Reference manual, not the User manual. There is no mention of the settings for UVM_MAX_QUIT_COUNT in the User manual.

The UVM 1.2 Reference manual is now correct.