Cleanup in .gitignore files; delete obsolete tesh file. [ci-skip]

diff --git a/.gitignore b/.gitignore
index d57fe08..83b2d12 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -251,6 +251,11 @@ examples/smpi/mc/smpi_bugged1
 examples/smpi/mc/smpi_bugged1_liveness
 examples/smpi/mc/smpi_bugged2
 examples/smpi/mc/smpi_mutual_exclusion
+examples/smpi/mc/smpi_non_termination1
+examples/smpi/mc/smpi_non_termination2
+examples/smpi/mc/smpi_non_termination3
+examples/smpi/mc/smpi_non_termination4
+examples/smpi/mc/smpi_only_send_deterministic
 examples/smpi/mc/smpi_sendsend
 examples/smpi/NAS/dt
 examples/smpi/NAS/ep
@@ -334,6 +339,7 @@ teshsuite/smpi/io-ordered/io-ordered
 teshsuite/smpi/io-shared/io-shared
 teshsuite/smpi/io-simple-at/io-simple-at
 teshsuite/smpi/io-simple/io-simple
+teshsuite/smpi/isp/umpire/**/*.tesh
 teshsuite/smpi/isp/umpire/abort
 teshsuite/smpi/isp/umpire/abort1
 teshsuite/smpi/isp/umpire/abort2

diff --git a/MANIFEST.in b/MANIFEST.in
index a2f736d..22deee0 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1962,7 +1962,6 @@ include examples/python/comm-waitall/comm-waitall_d.xml
 include examples/python/comm-waitany/comm-waitany_d.xml
 include examples/smpi/CMakeLists.txt
 include examples/smpi/NAS/CMakeLists.txt
-include examples/smpi/mc/non_deterministic.tesh
 include examples/smpi/mc/only_send_deterministic.tesh
 include examples/smpi/replay_multiple/CMakeLists.txt
 include examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt

diff --git a/examples/c/actor-create/.gitignore b/examples/c/actor-create/.gitignore
deleted file mode 100644 (file)
index c6a8ca4..0000000
--- a/examples/c/actor-create/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-actor-create-c

diff --git a/examples/c/energy-vm/.gitignore b/examples/c/energy-vm/.gitignore
deleted file mode 100644 (file)
index 59c6fd4..0000000
--- a/examples/c/energy-vm/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-energy_vm

diff --git a/examples/cpp/actor-create/.gitignore b/examples/cpp/actor-create/.gitignore
deleted file mode 100644 (file)
index 7cef20d..0000000
--- a/examples/cpp/actor-create/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-s4u_launching

diff --git a/examples/cpp/io-file-system/.gitignore b/examples/cpp/io-file-system/.gitignore
deleted file mode 100644 (file)
index fa4d495..0000000
--- a/examples/cpp/io-file-system/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-s4u_io_test

diff --git a/examples/cpp/synchro-mutex/.gitignore b/examples/cpp/synchro-mutex/.gitignore
deleted file mode 100644 (file)
index 0ace5ca..0000000
--- a/examples/cpp/synchro-mutex/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-s4u_actor

diff --git a/examples/deprecated/simdag/schedule-dotload/.gitignore b/examples/deprecated/simdag/schedule-dotload/.gitignore
deleted file mode 100644 (file)
index 84e2127..0000000
--- a/examples/deprecated/simdag/schedule-dotload/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-ptg_test
-dot.dot

diff --git a/examples/smpi/mc/.gitignore b/examples/smpi/mc/.gitignore
deleted file mode 100644 (file)
index daf627a..0000000
--- a/examples/smpi/mc/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-smpi_non_termination1
-smpi_non_termination2
-smpi_non_termination3
-smpi_non_termination4
-smpi_only_send_deterministic

diff --git a/examples/smpi/mc/non_deterministic.tesh b/examples/smpi/mc/non_deterministic.tesh
deleted file mode 100644 (file)
index 904088b..0000000
--- a/examples/smpi/mc/non_deterministic.tesh
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/usr/bin/env tesh
-
-! timeout 60
-$ ../../../smpi_script/bin/smpirun -wrapper ${bindir:=.}/../../../bin/simgrid-mc -hostfile ${srcdir:=.}/hostfile_non_deterministic  -platform ${srcdir:=.}/../../platforms/cluster_backbone.xml --log=xbt_cfg.thresh:warning --cfg=model-check/communications-determinism:1 --cfg=smpi/send-is-detached-thresh:0 --cfg=smpi/host-speed:1Gf ./smpi_non_deterministic
-> [0.000000] [mc_global/INFO] Check communication determinism
-> [0.000000] [mc_comm_determinism/INFO] The communications pattern of the process 1 is different! (Different communication : 1)
-> [0.000000] [mc_comm_determinism/INFO] ****************************************************
-> [0.000000] [mc_comm_determinism/INFO] ***** Non-deterministic communications pattern *****
-> [0.000000] [mc_comm_determinism/INFO] ****************************************************
-> [0.000000] [mc_comm_determinism/INFO] ** Initial communications pattern (per process): **
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 1:
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org <- (2) node-2.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org -> (2) node-2.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org <- (3) node-3.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org -> (3) node-3.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 2:
-> [0.000000] [mc_comm_determinism/INFO] [(2) node-2.simgrid.org -> (1) node-1.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(2) node-2.simgrid.org <- (1) node-1.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 3:
-> [0.000000] [mc_comm_determinism/INFO] [(3) node-3.simgrid.org -> (1) node-1.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(3) node-3.simgrid.org <- (1) node-1.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] ** Communications pattern counter-example (per process): **
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 1:
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org <- (3) node-3.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org -> (3) node-3.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org <- (2) node-2.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] [(1) node-1.simgrid.org -> (2) node-2.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 2:
-> [0.000000] [mc_comm_determinism/INFO] [(2) node-2.simgrid.org -> (1) node-1.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(2) node-2.simgrid.org <- (1) node-1.simgrid.org] iRecv 
-> [0.000000] [mc_comm_determinism/INFO] Communications from the process 3:
-> [0.000000] [mc_comm_determinism/INFO] [(3) node-3.simgrid.org -> (1) node-1.simgrid.org] iSend 
-> [0.000000] [mc_comm_determinism/INFO] [(3) node-3.simgrid.org <- (1) node-1.simgrid.org] iRecv 
-> [0.000000] [mc_global/INFO] Expanded states = 16037
-> [0.000000] [mc_global/INFO] Visited states = 80801
-> [0.000000] [mc_global/INFO] Executed transitions = 76048
-> [0.000000] [mc_global/INFO] Communication-deterministic : No

diff --git a/teshsuite/smpi/isp/umpire/.gitignore b/teshsuite/smpi/isp/umpire/.gitignore
deleted file mode 100644 (file)
index 06fb7b0..0000000
--- a/teshsuite/smpi/isp/umpire/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*.tesh

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index acdc654..394220c 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -80,7 +80,6 @@ set(EXTRA_DIST
   tools/lualib.patch
   teshsuite/lua/lua_platforms.tesh
   examples/smpi/mc/only_send_deterministic.tesh
-  examples/smpi/mc/non_deterministic.tesh
   )
 
 set(SMPI_SRC

diff --git a/tools/docker/.gitignore b/tools/docker/.gitignore
deleted file mode 100644 (file)
index 397b4a7..0000000
--- a/tools/docker/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*.log