RE: [sv-champions] Email vote ending August 1, 2011

Hi, Stu.

It is not an enhancement, but rather a clarification.

The behavior in the specified case is currently not described in the LRM.
As such, the behavior is de facto implementation-dependent.
The added sentence therefore changes nothing, just makes it official.
I can accept the claim that it should go through SV-BC, though.
The proposal came about because the Mantis issues refers to examples of $fatal in assertion clauses, and $fatal references $finish.
The request to clarify the behavior in this case was part of the original Mantis.

Regards,
Shalom

3015<http://www.eda-twiki.org/svdb/view.php?id=3015> SV-AC Examples of $fatal have bad arguments
There is a proposal (1 page)
This is the first time this short proposal has gone to the Champion's.
Passed by voice vote 2011-07-19: 10y/0n/0a.

Approve __ Oppose _X_
Stu: The proposal adds an enhancement to $stop and $finish: "If a different argument value is supplied, the diagnostic message printed shall be implementation-dependent." The proposal does not give any justification for why $stop and $finish need this enhancement. To the best of my knowledge they have worked fine for nearly 30 years as currently specified. Nor do these system tasks fall under the domain of the AC committee. If $stop and $finish need to be enhanced, it should be done by, or with the approval of, the BC committee.
---------------------------------------------------------------------
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.