[sv-ac] cover sequence

Hi all,

The LRM currently specifies different statistics for "cover property"
depending on whether the argument is a sequence_expr or a property_spec,
however it is not clear how to distinguish a property_spec from a
sequence_expr.  I already have a proposal that introduces a new syntax
"cover sequence" that should be used when the all-match statistics are
desired.  The question is:

1.	is there a need for the (one match per attempt) semantics for
sequences?  If so:
a.	should a keyword be added to the "cover sequence" syntax that is
used to distinguish this?  (example:   cover sequence @* ( <seq>) )
b.	is it sufficient for the user to simply use the "cover property"
syntax with a seq argument when a maximum of one match per attempt is
desired.

I'd like to get some feedback on this and then I'll publish the
proposal.

Lisa

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