Re: [sv-ac] ballot on 1466

Hi Shalom:

By observing the tool performance and output.

User's are already aware of this sort of problem,
since it is a common mistake to create thread 
proliferation due to redundancy, e.g. by writing

   assert property (a[*1:$] |-> b);

instead of

   assert property (a |-> b);

J.H.

> X-ExtLoop1: 1
> X-IronPort-AV: i="4.14,319,1170662400"; 
>    d="scan'208"; a="214821938:sNHT1710170616"
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Fri, 23 Mar 2007 14:03:16 +0200
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] ballot on 1466
> Thread-Index: AcdtQb3uY8h00+W6QIOqkwC+395nHgAAUhaA
> From: "Bresticker, Shalom" <shalom.bresticker@intel.com>
> X-OriginalArrivalTime: 23 Mar 2007 12:03:18.0925 (UTC) FILETIME=[3EEC2BD0:01C76D43]
> 
> John,
> 
> How would you expect that a user will notice the thread proliferation?
> 
> > Regarding the argument about dropping a digit and
> > accidentally writing [*] instead of [*2], I think
> > that, from a user's perspective, it is much more
> > likely that this will be caught quickly due to
> > the thread proliferation
> =20
> Thanks,
> Shalom

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