2026-06-06 00:36:55 +02:00
|
|
|
%Warning-COVERIGN: t/t_covergroup_option_unsup.v:14:30: Ignoring unsupported coverage option: 'detect_overlap'
|
|
|
|
|
14 | cp1: coverpoint cp_expr {option.detect_overlap = 1;}
|
|
|
|
|
| ^~~~~~
|
2026-06-05 15:35:01 +02:00
|
|
|
... For warning description see https://verilator.org/warn/COVERIGN?v=latest
|
|
|
|
|
... Use "/* verilator lint_off COVERIGN */" and lint_on around source to disable this message.
|
|
|
|
|
%Error: Exiting due to
|
