Protocol Report Syntax stm_rpt_protocol (elist, attr_title); Parameters Parameter Description elist A list expression of Statemate elements for which the report is produced. attr_title A string indicating the attribute name whose value will precede the element name in the report.
stm_rpt_protocol (elist, attr_title);
elist
attr_title