model-checker : if acceptance cycle is detected, get num of equal pairs

[simgrid.git] / examples / msg / fafard_state.trace

0 0
1 1
2 0