[sv-cc] typo in sv_vpi_user.h vpiCoverMax vs vpiCoveredMax

Hi,
 
I'm looking at sv_vpi_user.h and I see:
 
 
/* coverage status properties */

#define vpiCovered 765

#define vpiCoverMax 766

#define vpiCoveredCount 767

 

Now I'm looking at 40. Code coverage control and API

 

- Coverage status properties

vpiCovered

vpiCoverMax

vpiCoveredCount

 

but in further there  is :

 

vpi_get(vpiCoveredMax, assertion_handle)

vpi_get(vpiCoveredMax, statement_handle)

vpi_get(vpiCoveredMax, signal_handle)

vpi_get(vpiCoveredMax, fsm_handle)

vpi_get(vpiCoveredMax, fsm_state_handle)

 

Which type is proper:

vpiCoverMax (most of places including header)

vpiCoveredMax (only one place but fits another names)

?

Regards,
Radek
 

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