Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout in tesh
[simgrid.git] / teshsuite / simdag / basic2.tesh
index d9cb860b0c6d31f24f2c50ffb3f0ddf676734bc9..9f15bc1886dbe52c0d2a8a2c96d6bd9c8c3c5606 100644 (file)
@@ -1,9 +1,3 @@
-$ simdag/basic2 simdag/basic_platform.xml
-> [0.000000] [sd_kernel/INFO] Starting simulation...
-> [0.000000] [sd_kernel/INFO] Executing task 'Init'
-> [0.000000] [sd_kernel/INFO] Task 'Init' done
-> [0.000000] [sd_kernel/INFO] Executing task 'Task Comm A'
-> [0.000000] [sd_kernel/INFO] Executing task 'Task Comm B'
-> [1.600100] [sd_kernel/INFO] Task 'Task Comm B' done
-> [10.600100] [sd_kernel/INFO] Task 'Task Comm A' done
-> [10.600100] [sd_kernel/INFO] Simulation finished
+$ simdag/basic2 ${srcdir:=.}/simdag/basic_platform.xml --cfg=path:${srcdir} "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
+> [  0.000000] (0:@) surf_workstation_model_init_ptask_L07
+> [  8.800100] (0:@) Simulation time: 8.800100
\ No newline at end of file