/* simgrid/modelchecker.h - Formal Verification made possible in SimGrid */
-/* Copyright (c) 2008-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2008-2017. 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 "src/kernel/context/Context.hpp"
#include "src/simix/smx_private.h"
-#include "src/mc/mc_ignore.h"
-
/**
* @brief creates a new context for a user level process
#include "src/simix/smx_private.h"
#include "mc/mc.h"
-#include "src/mc/mc_ignore.h"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
#include "src/mc/Transition.hpp"
#include "src/mc/checker/Checker.hpp"
#include "src/mc/mc_exit.h"
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_record.h"
#include "src/mc/remote/mc_protocol.h"
#include "src/mc/mc_unw.h"
#include "src/mc/mc_snapshot.h"
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_smx.h"
#include "src/mc/Process.hpp"
#if SIMGRID_HAVE_MC
#include <libunwind.h>
#include "src/mc/mc_comm_pattern.h"
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_request.h"
#include "src/mc/mc_safety.h"
#include "src/mc/mc_snapshot.h"
#define SIMGRID_MC_IGNORE_H
#include "src/internal_config.h"
-#include "xbt/dynar.h"
#if HAVE_UCONTEXT_H
#include <ucontext.h> /* context relative declarations */
-#endif
-
SG_BEGIN_DECL();
-
-#if HAVE_UCONTEXT_H
XBT_PUBLIC(void) MC_register_stack_area(void *stack, smx_actor_t process, ucontext_t* context, size_t size);
-#endif
-
-
SG_END_DECL();
#endif
+
+#endif
#include "src/mc/remote/mc_protocol.h"
// We won't need those once the separation MCer/MCed is complete:
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_smx.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client, mc, "MC client logic");
#include "mc/mc.h"
#include "src/instr/instr_private.h"
#include "src/msg/msg_private.h"
-#include "src/mc/mc_ignore.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_msg, instr, "MSG instrumentation");
#include "instr/instr_interface.h"
#include "mc/mc.h"
#include "src/msg/msg_private.h"
-#include "src/mc/mc_ignore.h"
XBT_LOG_NEW_CATEGORY(msg, "All MSG categories");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_kernel, msg, "Logging specific to MSG (kernel)");
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "mc/mc.h"
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_replay.h"
#include "src/msg/msg_private.h"
#include "src/simix/smx_private.h"
#include "mmprivate.h"
#include "xbt/ex.h"
#include "mc/mc.h"
-#include "src/mc/mc_ignore.h"
/* Return memory to the heap.
Like `mfree' but don't call a mfree_hook if there is one. */