NAME
comments - default preprocessing rules.

SYNTAX
/'*' [ any_ascii_char ]* '*'/

DESCRIPTION
A comments starts with the two character sequence /* and terminates with the first occurrence of the two character sequence */ . In between these two delimiters any text, including newlines and control characters, is allowed. None of the text has semantic meaning to the program. A comment can be placed anywhere white-space can appear in the program.

NOTES
Following the C convention, comments do not nest. Comments are stripped from the Promela source in the preprocessing phase by the C preprocessor cpp .

SEE ALSO
macros(1).