src/mc/mc_config.hpp

   1 /* Copyright (c) 2018. The SimGrid Team. All rights reserved.               */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #ifndef MC_CONFIG_HPP
   7 #define MC_CONFIG_HPP
   8
   9 #include <string>
  10
  11 /********************************** Configuration of MC **************************************/
  12 extern "C" XBT_PUBLIC int _sg_do_model_check;
  13 extern XBT_PRIVATE int _sg_do_model_check_record;
  14 extern XBT_PRIVATE int _sg_mc_checkpoint;
  15 extern XBT_PUBLIC int _sg_mc_sparse_checkpoint;
  16 extern XBT_PUBLIC int _sg_mc_ksm;
  17 extern XBT_PUBLIC std::string _sg_mc_property_file;
  18 extern XBT_PRIVATE int _sg_mc_timeout;
  19 extern XBT_PRIVATE int _sg_mc_hash;
  20 extern XBT_PRIVATE int _sg_mc_max_depth;
  21 extern "C" XBT_PUBLIC int _sg_mc_max_visited_states;
  22 extern XBT_PRIVATE std::string _sg_mc_dot_output_file;
  23 extern XBT_PUBLIC int _sg_mc_comms_determinism;
  24 extern XBT_PUBLIC int _sg_mc_send_determinism;
  25 extern XBT_PRIVATE int _sg_mc_snapshot_fds;
  26 extern XBT_PRIVATE int _sg_mc_termination;
  27
  28 XBT_PRIVATE void _mc_cfg_cb_reduce(const char* name);
  29 XBT_PRIVATE void _mc_cfg_cb_checkpoint(const char* name);
  30 XBT_PRIVATE void _mc_cfg_cb_sparse_checkpoint(const char* name);
  31 XBT_PRIVATE void _mc_cfg_cb_ksm(const char* name);
  32 XBT_PRIVATE void _mc_cfg_cb_property(const char* name);
  33 XBT_PRIVATE void _mc_cfg_cb_timeout(const char* name);
  34 XBT_PRIVATE void _mc_cfg_cb_snapshot_fds(const char* name);
  35 XBT_PRIVATE void _mc_cfg_cb_hash(const char* name);
  36 XBT_PRIVATE void _mc_cfg_cb_max_depth(const char* name);
  37 XBT_PRIVATE void _mc_cfg_cb_visited(const char* name);
  38 XBT_PRIVATE void _mc_cfg_cb_dot_output(const char* name);
  39 XBT_PRIVATE void _mc_cfg_cb_comms_determinism(const char* name);
  40 XBT_PRIVATE void _mc_cfg_cb_send_determinism(const char* name);
  41 XBT_PRIVATE void _mc_cfg_cb_termination(const char* name);
  42
  43 #endif