model-checker : remove obsolete examples

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

diff --git a/examples/msg/mc/test/snapshot_comparison1.c b/examples/msg/mc/test/snapshot_comparison1.c
deleted file mode 100644 (file)
index 126c590..0000000
--- 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;
-}