Consolidate .gitignore files.

diff --git a/.gitignore b/.gitignore
index b60eef0..a028368 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -148,11 +148,11 @@ 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/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/mc/test/snapshot_comparison1
+examples/msg/mc/test/snapshot_comparison2
+examples/msg/mc/test/snapshot_comparison3
+examples/msg/mc/test/snapshot_comparison4
+examples/msg/mc/test/snapshot_comparison5

 examples/msg/chainsend/chainsend
 examples/msg/chord/chord
 examples/msg/chord/chord_stateful
 examples/msg/chainsend/chainsend
 examples/msg/chord/chord
 examples/msg/chord/chord_stateful

diff --git a/examples/msg/mc/chord/.gitignore b/examples/msg/mc/chord/.gitignore
deleted file mode 100644 (file)
index 19cc69b..0000000
--- a/examples/msg/mc/chord/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-chord_liveness
\ No newline at end of file

diff --git a/examples/msg/mc/test/.gitignore b/examples/msg/mc/test/.gitignore
deleted file mode 100644 (file)
index 87f4d46..0000000
--- a/examples/msg/mc/test/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-snapshot_comparison1
-snapshot_comparison2
-snapshot_comparison3
-snapshot_comparison4
-snapshot_comparison5