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

Fine. A word about it in the intro might be useful.
 
Thanks,
Shalom



	Looking at 16.8.6, it says, "A declaration without checkvar in a
checker body or a declaration of a checker variable outside of it shall
be illegal". 

	The obvious question is, why do you need a new keyword at all?
Just say that a variable declared in a checker is a checker variable. Is
that question answered later on?

	 

	[Korchemny, Dmitry] The intention was to avoid confusion. E.g.,
if a variable is declared in an action block, it is not a checker
variable, But the main reason to introduce a new keyword was to be able
to use regular variables in checkers in the future. Though for FV
checker variables are a natural choice, other checker application may
probably benefit from regular variables with conventional semantics.

	 

---------------------------------------------------------------------
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.