Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout in tesh
[simgrid.git] / teshsuite / simdag / basic3.tesh
index fb512dac843e1c3453c26722db9db4a051280ade..f1afcbddb593502a3acf50a2b165476f979e363f 100644 (file)
@@ -1,4 +1,4 @@
-$ simdag/basic3 ${srcdir:=.}/simdag/basic_platform.xml --surf-path=${srcdir} "--log=root.fmt:[%10.6r]%e%m%n" --log=sd_kernel.thresh:verbose
+$ simdag/basic3 ${srcdir:=.}/simdag/basic_platform.xml --cfg=path:${srcdir} "--log=root.fmt:[%10.6r]%e%m%n" --log=sd_kernel.thresh:verbose
 > [  0.000000] surf_workstation_model_init_ptask_L07
 > [  0.000000] Starting simulation...
 > [  0.000000] Run simulation for -1.000000 seconds