model-checker : cleanups in tesh examples

[simgrid.git] / teshsuite / simdag / basic6.tesh

$ simdag/basic6 ${srcdir:=.}/simdag/network/p2p/platform_2p_1sl.xml --cfg=path:${srcdir} "--log=root.fmt:[%10.6r]%e%m%n"
> [  0.000000] surf_workstation_model_init_ptask_L07
> [  2.000000] Simulation time: 2.000000