model-checker : cleanup in mc examples

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

#include "mc/mc.h"
#include "msg/msg.h"

int main (int argc, char **argv){
  MSG_init(&argc, argv);
  MC_test_heap_comparison();
  return 0;
}