When generated module instantiations are made with modules containing their own scope information, Covered's score command doesn't add the child scopes to the database instance tree correctly, leading to assertion firings and/or segmentation faults. I have added generate19 to the diagnostic list to verify the bug.
Bug fix patch
Attaching bug fix patch to fix this issue. This fix will be generally available in the 0.7.4 stable release of Covered.
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).