[sv-ec] access from coverpoint to local members of base class - encapsulation rules

LRM says:

"An embedded covergroup can define a coverage model for protected and local
class properties without any changes to the class data encapsulation."

I'm not a native speaker so maybe because of that this sentence is not clear
for me. So should encapsulation rules be checked for access to variables
from ocver point or not?

Should be below sample tpass compilation or not?

class c1;
 local bit a;
endclass : c1

class c2 extends c1 ;
 covergroup g1;
  coverpoint a; //a is local in base class - so this shuld trigger error?
 endgroup 
endclass : c2  

 

DANiel


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.