From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 5 Mar 2012 10:54:00 +0000 (+0100)
Subject: Make this example insensitive to scheduling order of events occuring at the same... 
X-Git-Tag: v3_7~315^2~27^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2b9bd6b45d38d86ecd293508ae6475f8481c4ba7?hp=2b9bd6b45d38d86ecd293508ae6475f8481c4ba7

Make this example insensitive to scheduling order of events occuring at the same time.

At time 7, depending whether the policeman is waken up before or after the emigrant, the migration could take place either at time 7 or at time 8.
---