comments, debugs and other minor glitches

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0d86ba86dfbe152b414cea407a0025b83754eadd..3c0317e05a187be5c6be65a575aa55317c80510f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -176,6 +176,12 @@ examples/msg/mc/bugged1_for_liveness
 examples/msg/mc/bugged1_while_liveness
 examples/msg/mc/centralized_liveness_deadlock
 examples/msg/mc/test/test_heap_comparison
+examples/msg/mc/chord_liveness
+examples/msg/mc/test/snapshot_comparison_liveness1
+examples/msg/mc/test/snapshot_comparison_liveness2
+examples/msg/mc/test/snapshot_comparison_liveness3
+examples/msg/mc/test/snapshot_comparison_liveness4
+examples/msg/mc/test/snapshot_comparison_liveness5
 examples/msg/chord/chord
 examples/msg/chord/chord_stateful
 examples/msg/chord/deployments