All the input text files of findloop must follow the required format:
- The first line must be an integer indicating the number of the processes in the concurrent system.
- Each of the remaining lines, describing an event, must be in the following order:
- 's' or 'r'
- '\t' (a tabulation character)
- the sender of the message
- '\t' (a tabulation character)
- the receiver of the message
- '\t' (a tabulation character)
- the label of the message
- '\n' (a new line character)
An example of input text files is as follows:
