Hi, Is it legal to declare assert/cover statement inside fork...join ? initial fork prop1 : assert property(prop); cover1 : cover property(prop); join Thanks, -Soumya -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Nov 24 22:45:51 2008
This archive was generated by hypermail 2.1.8 : Mon Nov 24 2008 - 22:46:50 PST