Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
PIDs are non-deterministic when several processes have the same start-time.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 9 Nov 2017 22:47:48 +0000 (23:47 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 9 Nov 2017 22:47:54 +0000 (23:47 +0100)
commitace4d8a638988a283f378b9f848a48dab8fb35bb
treee9a427897e7e99f499d6c9b6505d4befe7f2d77b
parent0550c8c1d9a09fc0f63f8f72fd3b2b875d4ca6a8
PIDs are non-deterministic when several processes have the same start-time.

Introduce a slight delay between processes to fix tests.
teshsuite/msg/trace_integration/test-hbp1.0-hbp3.0-hbp4.0.xml
teshsuite/msg/trace_integration/test-hbp2.5-hbp1.5.xml
teshsuite/msg/trace_integration/trace_integration.tesh