Re: [sv-ac] Proposal for change in disable iff

Manisha:

>   - Should pass action execute when a property gets disabled (disabled
> success) ?

I think the defined behavior should be that pass action does not
execute for a disabled attempt of a property.

A tool might provide a switch to enable actions for disabled properties.

>   - Should we consider name 'pre-emptive' success as that term is
> already used for disable condition ?

I think "pre-empted" makes a little better grammatical sense.

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
> Content-class: urn:content-classes:message
> Date: Mon, 23 Jan 2006 14:30:01 -0800
> X-MS-Has-Attach: yes
> X-MS-TNEF-Correlator: 
> Thread-Topic: Proposal for change in disable iff
> Thread-Index: AcYgbIyD6bF2YwJIS5euKlh5YqgwEQ==
> From: "Kulshrestha, Manisha" <Manisha_Kulshrestha@mentor.com>
> X-OriginalArrivalTime: 23 Jan 2006 22:30:02.0168 (UTC) FILETIME=[8D0DB380:01C6206C]
> X-Virus-Status: Clean
> Sender: owner-sv-ac@eda.org
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C6206C.8CD3AE6A
> Content-Type: multipart/alternative;
> 	boundary="----_=_NextPart_002_01C6206C.8CD3AE6A"
> 
> 
> ------_=_NextPart_002_01C6206C.8CD3AE6A
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: 7bit
> X-Former-Content-Transfer-Encoding: quoted-printable
> 
> Hi,
>  
> I have attached the proposal for the change in the return type of
> disable iff condition. Few things to consider are:
>   - Should pass action execute when a property gets disabled (disabled
> success) ?
>   - Should we consider name 'pre-emptive' success as that term is
> already used for disable condition ?
>  
> I am goig to put it on Mantis also.
>  
> Thanks.
> Manisha
>