Header

The header contains the debug file name, the name of the protocol that was executed and the name of the network description file that was selected. It also gives some system information of the terminal status before and during the protocol execution. If some kind of link failure is simulated, the type of the failure and the upper bound of the number of links to fail are also given. In case of use of an ABD synchronizer with drifting clocks, the drift bound is given as well.