model-checker : remove obsolete example

[simgrid.git] / teshsuite / SimGrid.tesh

diff --git a/teshsuite/SimGrid.tesh b/teshsuite/SimGrid.tesh
index b4a4642..7260650 100644 (file)
--- a/teshsuite/SimGrid.tesh
+++ b/teshsuite/SimGrid.tesh
@@ -1,51 +1,42 @@
-D Tesh tests of SimGrid library.\r
-p Command line tesh --directory=%teshsuite_dir% --include-dir=simdag --include-dir=xbt --file=SimGrid.tesh --log="log.thresh:info tesh.fmt:%m%n"\r
-\r
-\r
-$ cd ${TESHSUITE_DIR:=.}\r
-\r
-# XBT\r
-\r
-! include log_large_test.tesh\r
-\r
-# SimDag Tests\r
-\r
-# Basic Tests\r
-! include basic0.tesh \r
-! include basic1.tesh\r
-! include basic2.tesh\r
-! include basic3.tesh\r
-! include basic4.tesh\r
-! include basic5.tesh\r
-! include basic6.tesh\r
-! include incomplete.tesh\r
-\r
-\r
-# Network Tests\r
-! include network/test_reinit_costs.tesh\r
-\r
-# MXN Tests\r
-! include network/mxn/test_intra_scatter.tesh\r
-! include network/mxn/test_intra_independent_comm.tesh\r
-! include network/mxn/test_intra_all2all.tesh\r
-\r
-# P2P Tests\r
-! include network/p2p/test_latency1.tesh\r
-! include network/p2p/test_latency2.tesh\r
-! include network/p2p/test_latency3.tesh\r
-! include network/p2p/test_latency_bound.tesh\r
-\r
-# Parallel task\r
-! include partask/test_comp_only_par.tesh\r
-! include partask/test_comp_only_seq.tesh\r
-\r
-# Platforms\r
-! include platforms/basic_parsing_test.tesh\r
-! include platforms/flatifier.tesh\r
-\r
-\r
-\r
-\r
-\r
-\r
-\r
+D Tesh tests of SimGrid library.
+p Command line tesh --directory=%teshsuite_dir% --include-dir=simdag --include-dir=xbt --file=SimGrid.tesh --log="log.thresh:info tesh.fmt:%m%n"
+
+$ cd ${TESHSUITE_DIR:=.}
+
+# XBT
+
+! include log_large_test.tesh
+
+# SimDag Tests
+
+# Basic Tests
+! include basic0.tesh
+! include basic1.tesh
+! include basic2.tesh
+! include basic3.tesh
+! include basic4.tesh
+! include basic5.tesh
+! include basic6.tesh
+! include incomplete.tesh
+
+# Network Tests
+! include network/test_reinit_costs.tesh
+
+# MXN Tests
+! include network/mxn/test_intra_scatter.tesh
+! include network/mxn/test_intra_independent_comm.tesh
+! include network/mxn/test_intra_all2all.tesh
+
+# P2P Tests
+! include network/p2p/test_latency1.tesh
+! include network/p2p/test_latency2.tesh
+! include network/p2p/test_latency3.tesh
+! include network/p2p/test_latency_bound.tesh
+
+# Parallel task
+! include partask/test_comp_only_par.tesh
+! include partask/test_comp_only_seq.tesh
+
+# Platforms
+! include platforms/basic_parsing_test.tesh
+! include platforms/flatifier.tesh