Commit 1839e607 authored by Mohcine Chraibi's avatar Mohcine Chraibi

Solve #258

- Sources can define id and time to appear for one single agent
- Sources do not conflict with other distributed agents
- However, they could conflict with other sources with unspecified
- agent's id
parent 2975195d
Pipeline #5800 passed with stages
in 5 minutes and 16 seconds