-/* Copyright (c) 2011-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2011-2018. 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. */
#define XBT_AUTOMATON_H
#include <xbt/dynar.h>
-#include <xbt/sysdep.h>
-#include <xbt/graph.h>
-#include <stdlib.h>
-#include <string.h>
SG_BEGIN_DECL()
#define SIMGRID_MMALLOC_H 1
#include "src/internal_config.h"
-#if HAVE_MMALLOC
#include <stdio.h> /* for NULL */
#include <sys/types.h> /* for size_t */
typedef struct mdesc s_xbt_mheap_t;
typedef s_xbt_mheap_t* xbt_mheap_t;
+#if HAVE_MMALLOC
/* Allocate SIZE bytes of memory (and memset it to 0). */
XBT_PUBLIC void* mmalloc(xbt_mheap_t md, size_t size);
void* malloc_no_memset(size_t n);
+#endif
SG_END_DECL()
-#endif
#endif /* SIMGRID_MMALLOC_H */
-/* Copyright (c) 2008-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2008-2018. 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. */
#ifndef SIMGRID_MC_ADDRESS_SPACE_H
#define SIMGRID_MC_ADDRESS_SPACE_H
-#include <cassert>
-#include <cstddef>
-#include <cstdint>
-#include <cstring>
-#include <type_traits>
-
-#include <string>
-#include <vector>
-
#include "src/mc/mc_forward.hpp"
#include "src/mc/remote/RemotePtr.hpp"
#include "simgrid/sg_config.hpp"
-#include "src/mc/ModelChecker.hpp"
#include "src/mc/ModelChecker.hpp"
#include "src/mc/PageStore.hpp"
#include "src/mc/Transition.hpp"
#include "src/mc/mc_exit.hpp"
#include "src/mc/mc_private.hpp"
#include "src/mc/mc_record.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
#include "src/mc/remote/mc_protocol.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_ModelChecker, mc, "ModelChecker");
-/* Copyright (c) 2007-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2007-2018. 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 <event2/event.h>
-#include "xbt/base.h"
#include <sys/types.h>
#include "src/mc/PageStore.hpp"
-#include "src/mc/Transition.hpp"
#include "src/mc/mc_forward.hpp"
-#include "src/mc/remote/RemoteClient.hpp"
#include "src/mc/remote/mc_protocol.h"
namespace simgrid {
* in things like waitany and for associating a given value of MC_random()
* calls.
*/
-struct Transition {
+class Transition {
+public:
int pid = 0;
/* Which transition was executed for this simcall
#include "mc/mc.h"
#include "src/mc/mc_base.h"
#include "src/mc/mc_config.hpp"
+#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_replay.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
#include "src/simix/smx_private.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
-/* Copyright (c) 2007-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2007-2018. 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. */
class Member;
class Type;
class Variable;
+class Transition;
class Frame;
class ActorInformation;
#ifndef SIMGRID_MC_SNAPSHOT_HPP
#define SIMGRID_MC_SNAPSHOT_HPP
-#include <memory>
-#include <set>
-#include <string>
-#include <vector>
-
#include "src/mc/ModelChecker.hpp"
#include "src/mc/RegionSnapshot.hpp"
-#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_unw.hpp"
+#include "src/mc/remote/RemoteClient.hpp"
// ***** Snapshot region
-/* Copyright (c) 2015-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2015-2018. 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. */
#ifndef SIMGRID_MC_CHANNEL_HPP
#define SIMGRID_MC_CHANNEL_HPP
-#include <unistd.h>
+#include "src/mc/remote/mc_protocol.h"
#include <type_traits>
-#include "src/mc/remote/mc_protocol.h"
-
namespace simgrid {
namespace mc {
-/* Copyright (c) 2015-2018. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2015-2018. 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. */
#ifndef SIMGRID_MC_CLIENT_H
#define SIMGRID_MC_CLIENT_H
-#include "src/internal_config.h"
+#include "src/mc/remote/Channel.hpp"
-#include <cstddef>
#include <memory>
-#include <xbt/base.h>
-
-#include <simgrid/simix.h>
-
-#include "src/mc/remote/Channel.hpp"
-#include "src/mc/remote/mc_protocol.h"
-
namespace simgrid {
namespace mc {
#include "src/xbt/mmalloc/mmprivate.h"
#include "src/mc/remote/Channel.hpp"
-#include "src/simix/smx_private.hpp"
#include "src/mc/ObjectInformation.hpp"
#include <vector>
#ifndef SIMGRID_MC_REMOTE_PTR_HPP
#define SIMGRID_MC_REMOTE_PTR_HPP
-#include <cstdint>
-#include <cstring>
-
-#include <stdexcept>
-#include <type_traits>
+#include "src/simix/smx_private.hpp"
namespace simgrid {
namespace mc {
#include "mc/datatypes.h"
#include "simgrid/forward.h"
-#include <stdint.h>
-
SG_BEGIN_DECL()
// ***** Environment variables for passing context to the model-checked process
#include "xbt/automaton.h"
#include <stdio.h> /* printf */
#include <xbt/log.h>
+#include <xbt/sysdep.h>
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_automaton, xbt, "Automaton");
# include <unistd.h> /* isatty */
#endif
#include <xbt/log.h>
+#include <xbt/sysdep.h>
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_automaton);