[sv-ac] draft 6 1757

As part of looking at 1757 implementation, I noticed a problem in the
implementation of 2100.  

 

At 16.17.1 

 

It says:

 

- The set of semantic leading clocks of sync_accept_on(b) q is the set
of semantic leading clocks

of q.

- The set of semantic leading clocks of sync_reject_on(b) q is the set
of semantic leading clocks

of q.

 

but 2100 says:

 

- The set of semantic leading clocks of sync_accept_on(b)q is
{inherited}.

- The set of semantic leading clocks of sync_reject_on(b)q is
{inherited}.

 

 

I have not found any other issues with 1757

 

Doron

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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