#include "simgrid/msg.h"
#include "mc/mc.h"
-#include "xbt/automaton.h"
#include "bugged1_liveness.h"
XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
#include "simgrid/msg.h"
#include "mc/mc.h"
-#include "xbt/automaton.h"
#include "bugged2_liveness.h"
XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "my log messages");
#include <simgrid_config.h> /* HAVE_MC ? */
#include <xbt/base.h>
-#include <xbt/automaton.h>
SG_BEGIN_DECL()
#include <xbt/fifo.h>
#include <xbt/config.h>
#include <xbt/base.h>
+#include <xbt/automaton.h>
#include "mc/mc.h"
#include "mc/datatypes.h"
#include <memory>
#include <algorithm>
-#include <xbt/automaton.h>
#include <xbt/log.h>
#include <xbt/sysdep.h>
#include <xbt/dynar.h>