Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / migration / migration.tesh
index a75120d..40b247f 100644 (file)
@@ -6,6 +6,9 @@ p Testing the migration feature of MSG
 $ $SG_TEST_EXENV migration/migration ${srcdir:=.}/msg_platform.xml ${srcdir:=.}/migration/migration.deploy  "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 > [  0.000000] (1:emigrant@Jacquelin) I'll look for a new job on another machine where the grass is greener.
 > [  0.000000] (1:emigrant@Boivin) Yeah, found something to do
+> [  0.000000] (2:policeman@Boivin) Wait a bit before migrating the emigrant.
 > [  3.000000] (1:emigrant@Boivin) Moving back home after work
 > [  7.000000] (0:@) Simulation time 7
-> [  7.000000] (1:emigrant@Boivin) Uh, nothing to do here. Stopping now
+> [  7.000000] (1:emigrant@Jacquelin) I've been moved on this new host: Jacquelin
+> [  7.000000] (1:emigrant@Jacquelin) Uh, nothing to do here. Stopping now
+> [  7.000000] (2:policeman@Boivin) I moved the emigrant