[sv-champions] RE: [sv-ac] RE: Mantis 1900 comments - Part 2

Hi,


	[Korchemny, Dmitry] Fixed. What is the reason that initial has
statement_or_null, and not just statement?
	

	[SB]  Good question. It was changed in SV 3.1. I'll ask why.

	 

	

	- "Each formal argument used in this way may be assigned a value
either in a checker body or in checker action blocks. If a formal
argument is written in the checker body, its corresponding actual
argument shall be a checker variable or a formal argument in another
checker."

	The 2nd sentence quoted specifies "written in the checker body".
Is the intent that the following restriction does not apply to formal
arguments assigned in action blocks?

	[Korchemny, Dmitry] Yes, the intent is that the restriction does
not apply to formal arguments assigned in action blocks.
	

	[SB] This should be more explicit. In context, it is not clear. 

	Thanks, Shalom


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