Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Typos.
[simgrid.git] / src / mc / mc_config.hpp
1 /* Copyright (c) 2018-2019. 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 <xbt/config.hpp>
10
11 /********************************** Configuration of MC **************************************/
12 extern "C" XBT_PUBLIC int _sg_do_model_check;
13 extern XBT_PUBLIC simgrid::config::Flag<std::string> _sg_mc_buffering;
14 extern XBT_PUBLIC simgrid::config::Flag<std::string> _sg_mc_record_path;
15 extern XBT_PRIVATE simgrid::config::Flag<int> _sg_mc_checkpoint;
16 extern XBT_PUBLIC simgrid::config::Flag<std::string> _sg_mc_property_file;
17 extern XBT_PUBLIC simgrid::config::Flag<bool> _sg_mc_comms_determinism;
18 extern XBT_PUBLIC simgrid::config::Flag<bool> _sg_mc_send_determinism;
19 extern XBT_PRIVATE simgrid::config::Flag<bool> _sg_mc_timeout;
20 extern XBT_PRIVATE simgrid::config::Flag<int> _sg_mc_max_depth;
21 extern "C" XBT_PUBLIC int _sg_mc_max_visited_states;
22 extern XBT_PRIVATE simgrid::config::Flag<std::string> _sg_mc_dot_output_file;
23 extern XBT_PRIVATE simgrid::config::Flag<bool> _sg_mc_termination;
24
25 #endif