See Manti 96 and 98.
Shalom
> - same syntax capabilities for subroutine argument passing as
> for port
> connection (Mantis 2957),
> - same as above but for sequence/property (Mantis 2958 filed
> for SV-AC),
---------------------------------------------------------------------
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.Received on Tue Feb 2 05:55:43 2010
This archive was generated by hypermail 2.1.8 : Tue Feb 02 2010 - 05:55:56 PST