Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get rdv_points in simix for comparison between two execution states
[simgrid.git] / teshsuite / simdag / simdag.tesh
1 #! ./tesh\r
2 \r
3 # Description of this tesh file\r
4 D This tesh file contains all the tesh files relative with SimDag\r
5 \r
6 # SimDag tesh suite\r
7 \r
8 ! suite Simdag tests this suite contains all the tesh files relative with SimDag\r
9 ! include basic0.tesh\r
10 ! include basic1.tesh\r
11 ! include basic2.tesh\r
12 ! include basic3.tesh\r
13 ! include basic4.tesh\r
14 ! include basic5.tesh\r
15 ! include basic6.tesh\r