If a generate variable is created with the same name as another register/wire in the same module, Covered uses the original signal value as the generate variable.
Attaching a bug fix patch for this issue which will be generally available
in the 0.7.5 stable release of Covered. Added generate20.1 diagnostic to
regression suite to verify this bug fix.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Attaching a bug fix patch for this issue which will be generally available
in the 0.7.5 stable release of Covered. Added generate20.1 diagnostic to
regression suite to verify this bug fix.
Bug fix patch