model-checker : cleanup in mc examples

[simgrid.git] / examples / msg / mc / test / test_heap_comparison.c

diff --git a/examples/msg/mc/test/compare_snapshot.c b/examples/msg/mc/test/test_heap_comparison.c
similarity index 77%
rename from examples/msg/mc/test/compare_snapshot.c
rename to examples/msg/mc/test/test_heap_comparison.c
index fa3d1d2..c094f46 100644 (file)
--- a/examples/msg/mc/test/compare_snapshot.c
+++ b/examples/msg/mc/test/test_heap_comparison.c
@@ -3,6 +3,6 @@
 
 int main (int argc, char **argv){
   MSG_init(&argc, argv);
-  MC_test_snapshot_comparison();
+  MC_test_heap_comparison();
   return 0;
 }