Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new examples (with tesh) for verification of liveness properties...
[simgrid.git] / examples / simdag / test_simdag2.tesh
1 #! ./tesh
2
3 p Simple test of simdag
4
5 $ $SG_TEST_EXENV ./sd_test2 ${srcdir:=.}/2clusters.xml
6 > [0.000000] [surf_workstation/INFO] surf_workstation_model_init_ptask_L07
7 > [3.251960] [sd_test/INFO] Simulation time: 3.251960