X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/055747c669087313b6b27ccf89c990f14f5b8098..799c4fd899768d0184af411ea5b76377589aa9c6:/examples/msg/mc/test/snapshot_comparison1.c?ds=sidebyside

diff --git a/examples/msg/mc/test/snapshot_comparison1.c b/examples/msg/mc/test/snapshot_comparison1.c
deleted file mode 100644
index 126c590243..0000000000
--- a/examples/msg/mc/test/snapshot_comparison1.c
+++ /dev/null
@@ -1,55 +0,0 @@
-/* Copyright (c) 2012. The SimGrid Team.
- * All rights reserved.                                                     */
-
-/* This program is free software; you can redistribute it and/or modify it
- * under the terms of the license (GNU LGPL) which comes with this package. */
-
-#include <msg/msg.h>
-#include <simgrid/modelchecker.h>
-#include "mc/mc.h"
-
-XBT_LOG_NEW_DEFAULT_CATEGORY(snapshot_comparison_liveness1, "Debug information for snasphot comparison liveness1 test example");
-
-int test(int argc, char **argv);
-
-int test(int argc, char **argv){
-
-  MSG_process_sleep(1);
-
-  XBT_INFO("**** Start test ****");
-  XBT_INFO("Take two successive snapshots (No modification)");
-
-  void *snap1 = MC_snapshot();
-
-  XBT_INFO("First snapshot");
-
-  MSG_process_sleep(1);
-  
-  void *snap2 = MC_snapshot();
-
-  MSG_process_sleep(1);
-
-  XBT_INFO("Second snapshot");
-
-  XBT_INFO("Test result : %d (0 = state equality, 1 = different states)", MC_compare_snapshots(snap1, snap2));
-  
-  XBT_INFO("**** End test ****");
-
-  xbt_abort();
-}
-
-int main(int argc, char **argv){
-  MSG_init(&argc, argv);
-
-  MSG_config("model-check/property","promela");
-
-  MSG_create_environment("snapshot_comparison_platform.xml");
-
-  MSG_function_register("test", test);
-
-  MSG_launch_application("deploy_snapshot_comparison.xml");
-
-  MSG_main();
-
-  return 0;
-}