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 53cda1f..40b247f 100644 (file)
@@ -2,9 +2,13 @@
 
 p Testing the migration feature of MSG
 
-$ $SG_TEST_EXENV migration/migration ${srcdir:=.}/msg_platform.xml ${srcdir:=.}/migration/migration.deploy 
-> [Jacquelin:emigrant:(1) 0.000000] [msg_test/INFO] I'll look for a new job on another machine where the grass is greener.
-> [Boivin:emigrant:(1) 0.000000] [msg_test/INFO] Yeah, found something to do
-> [Boivin:emigrant:(1) 1.000000] [msg_test/INFO] Moving back home after work
-> [Jacquelin:emigrant:(1) 1.000000] [msg_test/INFO] Uh, nothing to do here. Stopping now
-> [1.000000] [msg_test/INFO] Simulation time 1
+! output sort
+$ $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@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