RE: [sv-ac] 805 in draft3 review

I agree with Issue 1 and Issue 2 of Bassam's. I do not see any issue in
F3.6.1
 
Tej


________________________________

	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bassam Tabbara
	Sent: Saturday, May 19, 2007 7:40 PM
	To: sv-ac@server.eda-stds.org
	Subject: [sv-ac] 805 in draft3 review
	
	

	** Sending as email until we collect all issues and post as
bugnote.
	
	Issue 1: F3.3.1
	
	T is said to pass on w if w |= T. T is said to be disabled on
	
	w if w |=^d T. T is said to fail on w if T neither passes nor
	
	is disabled on w. It can be proved that T cannot both pass and
be
	
	disabled on w.
	
	which appears in Mantis 0805 just prior to "Neutral satisfaction
of properties is defined as follows:"
	
	Appears here before "Neutral satisfaction of top-level
properties is defined as follows:"
	
	Issue 2: F3.3.1 "w |=^d T" in text above appears with literally
"^" meant for superscript of course
	
	Issue 3: F3.6.1 does not have the 805 changes (under E3.6.1 of
proposal and found in draft1)
	
	
	Thx.
	-Bassam.
	


	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


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