model-checker : remove files about test_heap_comparison

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

diff --git a/examples/msg/mc/test/test_heap_comparison.c b/examples/msg/mc/test/test_heap_comparison.c
deleted file mode 100644 (file)
index c094f46..0000000
--- a/examples/msg/mc/test/test_heap_comparison.c
+++ /dev/null
@@ -1,8 +0,0 @@
-#include "mc/mc.h"
-#include "msg/msg.h"
-
-int main (int argc, char **argv){
-  MSG_init(&argc, argv);
-  MC_test_heap_comparison();
-  return 0;
-}