Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill undefined declaration.
[simgrid.git] / src / xbt / config.cpp
1 /* Copyright (c) 2004-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 #include <cstdio>
7
8 #include <algorithm>
9 #include <cerrno>
10 #include <cstring>
11 #include <climits>
12
13 #include <functional>
14 #include <map>
15 #include <stdexcept>
16 #include <string>
17 #include <string>
18 #include <type_traits>
19 #include <typeinfo>
20 #include <vector>
21
22 #include "simgrid/sg_config.hpp"
23 #include "xbt/dynar.h"
24 #include "xbt/log.h"
25 #include "xbt/misc.h"
26 #include "xbt/sysdep.h"
27 #include <xbt/config.h>
28 #include <xbt/config.hpp>
29 #include <xbt/ex.hpp>
30
31 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_cfg, xbt, "configuration support");
32
33 XBT_EXPORT_NO_IMPORT xbt_cfg_t simgrid_config = nullptr;
34
35 namespace simgrid {
36 namespace config {
37
38 namespace {
39
40 const char* true_values[] = {
41   "yes", "on", "true", "1"
42 };
43 const char* false_values[] = {
44   "no", "off", "false", "0"
45 };
46
47 static bool parseBool(const char* value)
48 {
49   for (const char* const& true_value : true_values)
50     if (std::strcmp(true_value, value) == 0)
51       return true;
52   for (const char* const& false_value : false_values)
53     if (std::strcmp(false_value, value) == 0)
54       return false;
55   throw std::range_error("not a boolean");
56 }
57
58 static double parseDouble(const char* value)
59 {
60   char* end;
61   errno = 0;
62   double res = std::strtod(value, &end);
63   if (errno == ERANGE)
64     throw std::range_error("out of range");
65   else if (errno)
66     xbt_die("Unexpected errno");
67   if (end == value || *end != '\0')
68     throw std::range_error("invalid double");
69   else
70     return res;
71 }
72
73 static long int parseLong(const char* value)
74 {
75   char* end;
76   errno = 0;
77   long int res = std::strtol(value, &end, 0);
78   if (errno) {
79     if (res == LONG_MIN && errno == ERANGE)
80       throw std::range_error("underflow");
81     else if (res == LONG_MAX && errno == ERANGE)
82       throw std::range_error("overflow");
83     xbt_die("Unexpected errno");
84   }
85   if (end == value || *end != '\0')
86     throw std::range_error("invalid integer");
87   else
88     return res;
89 }
90
91 // ***** ConfigType *****
92
93 /// A trait which define possible options types:
94 template <class T> class ConfigType;
95
96 template <> class ConfigType<int> {
97 public:
98   static constexpr const char* type_name = "int";
99   static inline double parse(const char* value)
100   {
101     return parseLong(value);
102   }
103 };
104 template <> class ConfigType<double> {
105 public:
106   static constexpr const char* type_name = "double";
107   static inline double parse(const char* value)
108   {
109     return parseDouble(value);
110   }
111 };
112 template <> class ConfigType<std::string> {
113 public:
114   static constexpr const char* type_name = "string";
115   static inline std::string parse(const char* value)
116   {
117     return std::string(value);
118   }
119 };
120 template <> class ConfigType<bool> {
121 public:
122   static constexpr const char* type_name = "boolean";
123   static inline bool parse(const char* value)
124   {
125     return parseBool(value);
126   }
127 };
128
129 // **** Forward declarations ****
130
131 class ConfigurationElement ;
132 template<class T> class TypedConfigurationElement;
133
134 // **** ConfigurationElement ****
135
136 class ConfigurationElement {
137 private:
138   std::string key;
139   std::string desc;
140   bool isdefault = true;
141
142 public:
143   /* Callback */
144   xbt_cfg_cb_t old_callback = nullptr;
145
146   ConfigurationElement(const char* key, const char* desc) : key(key ? key : ""), desc(desc ? desc : "") {}
147   ConfigurationElement(const char* key, const char* desc, xbt_cfg_cb_t cb)
148     : key(key ? key : ""), desc(desc ? desc : ""), old_callback(cb) {}
149
150   virtual ~ConfigurationElement()=default;
151
152   virtual std::string getStringValue() = 0;
153   virtual void setStringValue(const char* value) = 0;
154   virtual const char* getTypeName() = 0;
155
156   template<class T>
157   T const& getValue() const
158   {
159     return dynamic_cast<const TypedConfigurationElement<T>&>(*this).getValue();
160   }
161   template<class T>
162   void setValue(T value)
163   {
164     dynamic_cast<TypedConfigurationElement<T>&>(*this).setValue(std::move(value));
165   }
166   template<class T>
167   void setDefaultValue(T value)
168   {
169     dynamic_cast<TypedConfigurationElement<T>&>(*this).setDefaultValue(std::move(value));
170   }
171   void unsetDefault() { isdefault = false; }
172   bool isDefault() const { return isdefault; }
173
174   std::string const& getDescription() const { return desc; }
175   std::string const& getKey() const { return key; }
176 };
177
178 // **** TypedConfigurationElement<T> ****
179
180 // TODO, could we use boost::any with some Type* reference?
181 template<class T>
182 class TypedConfigurationElement : public ConfigurationElement {
183 private:
184   T content;
185   std::function<void(T&)> callback;
186
187 public:
188   TypedConfigurationElement(const char* key, const char* desc, T value = T())
189     : ConfigurationElement(key, desc), content(std::move(value))
190   {}
191   TypedConfigurationElement(const char* key, const char* desc, T value, xbt_cfg_cb_t cb)
192       : ConfigurationElement(key, desc, cb), content(std::move(value))
193   {}
194   TypedConfigurationElement(const char* key, const char* desc, T value, std::function<void(T&)> callback)
195       : ConfigurationElement(key, desc), content(std::move(value)), callback(std::move(callback))
196   {}
197   ~TypedConfigurationElement() = default;
198
199   std::string getStringValue() override;
200   const char* getTypeName() override;
201   void setStringValue(const char* value) override;
202
203   void update()
204   {
205     if (old_callback)
206       this->old_callback(getKey().c_str());
207     if (this->callback)
208       this->callback(this->content);
209   }
210
211   T const& getValue() const { return content; }
212
213   void setValue(T value)
214   {
215     this->content = std::move(value);
216     this->update();
217     this->unsetDefault();
218   }
219
220   void setDefaultValue(T value)
221   {
222     if (this->isDefault()) {
223       this->content = std::move(value);
224       this->update();
225     } else {
226       XBT_DEBUG("Do not override configuration variable '%s' with value '%s' because it was already set.",
227                 getKey().c_str(), to_string(value).c_str());
228     }
229   }
230 };
231
232 template<class T>
233 std::string TypedConfigurationElement<T>::getStringValue() // override
234 {
235   return to_string(content);
236 }
237
238 template<class T>
239 void TypedConfigurationElement<T>::setStringValue(const char* value) // override
240 {
241   this->content = ConfigType<T>::parse(value);
242   this->unsetDefault();
243   this->update();
244 }
245
246 template<class T>
247 const char* TypedConfigurationElement<T>::getTypeName() // override
248 {
249   return ConfigType<T>::type_name;
250 }
251
252 } // end of anonymous namespace
253
254 // **** Config ****
255
256 class Config {
257 private:
258   // name -> ConfigElement:
259   std::map<std::string, simgrid::config::ConfigurationElement*> options;
260   // alias -> ConfigElement from options:
261   std::map<std::string, simgrid::config::ConfigurationElement*> aliases;
262   bool warn_for_aliases = true;
263
264 public:
265   Config();
266   ~Config();
267
268   // No copy:
269   Config(Config const&) = delete;
270   Config& operator=(Config const&) = delete;
271
272   ConfigurationElement& operator[](const char* name);
273   void alias(const char* realname, const char* aliasname);
274
275   template<class T, class... A>
276   simgrid::config::TypedConfigurationElement<T>*
277     registerOption(const char* name, A&&... a)
278   {
279     xbt_assert(options.find(name) == options.end(), "Refusing to register the config element '%s' twice.", name);
280     TypedConfigurationElement<T>* variable = new TypedConfigurationElement<T>(name, std::forward<A>(a)...);
281     XBT_DEBUG("Register cfg elm %s (%s) of type %s @%p in set %p)", name, variable->getDescription().c_str(),
282               variable->getTypeName(), variable, this);
283     options.insert({name, variable});
284     variable->update();
285     return variable;
286   }
287
288   // Debug:
289   void dump(const char *name, const char *indent);
290   void showAliases();
291   void help();
292
293 protected:
294   ConfigurationElement* getDictElement(const char* name);
295 };
296
297 Config::Config()
298 {
299   atexit(&sg_config_finalize);
300 }
301 Config::~Config()
302 {
303   XBT_DEBUG("Frees cfg set %p", this);
304   for (auto const& elm : options)
305     delete elm.second;
306 }
307
308 inline ConfigurationElement* Config::getDictElement(const char* name)
309 {
310   auto opt = options.find(name);
311   if (opt != options.end()) {
312     return opt->second;
313   } else {
314     auto als = aliases.find(name);
315     if (als != aliases.end()) {
316       ConfigurationElement* res = als->second;
317       if (warn_for_aliases)
318         XBT_INFO("Option %s has been renamed to %s. Consider switching.", name, res->getKey().c_str());
319       return res;
320     } else {
321       THROWF(not_found_error, 0, "Bad config key: %s", name);
322     }
323   }
324 }
325
326 inline ConfigurationElement& Config::operator[](const char* name)
327 {
328   return *(getDictElement(name));
329 }
330
331 void Config::alias(const char* realname, const char* aliasname)
332 {
333   xbt_assert(aliases.find(aliasname) == aliases.end(), "Alias '%s' already.", aliasname);
334   ConfigurationElement* element = this->getDictElement(realname);
335   xbt_assert(element, "Cannot define an alias to the non-existing option '%s'.", realname);
336   this->aliases.insert({aliasname, element});
337 }
338
339 /** @brief Dump a config set for debuging purpose
340  *
341  * @param name The name to give to this config set
342  * @param indent what to write at the beginning of each line (right number of spaces)
343  */
344 void Config::dump(const char *name, const char *indent)
345 {
346   if (name)
347     printf("%s>> Dumping of the config set '%s':\n", indent, name);
348
349   for (auto const& elm : options)
350     printf("%s  %s: ()%s) %s", indent, elm.first.c_str(), elm.second->getTypeName(),
351            elm.second->getStringValue().c_str());
352
353   if (name)
354     printf("%s<< End of the config set '%s'\n", indent, name);
355   fflush(stdout);
356 }
357
358 /** @brief Displays the declared aliases and their replacement */
359 void Config::showAliases()
360 {
361   for (auto const& elm : aliases)
362     printf("   %-40s %s\n", elm.first.c_str(), elm.second->getKey().c_str());
363 }
364
365 /** @brief Displays the declared options and their description */
366 void Config::help()
367 {
368   for (auto const& elm : options) {
369     simgrid::config::ConfigurationElement* variable = this->options.at(elm.first);
370     printf("   %s: %s\n", elm.first.c_str(), variable->getDescription().c_str());
371     printf("       Type: %s; ", variable->getTypeName());
372     printf("Current value: %s\n", variable->getStringValue().c_str());
373   }
374 }
375
376 // ***** getConfig *****
377
378 template <class T> XBT_PUBLIC T const& getConfig(const char* name)
379 {
380   return (*simgrid_config)[name].getValue<T>();
381 }
382
383 template XBT_PUBLIC int const& getConfig<int>(const char* name);
384 template XBT_PUBLIC double const& getConfig<double>(const char* name);
385 template XBT_PUBLIC bool const& getConfig<bool>(const char* name);
386 template XBT_PUBLIC std::string const& getConfig<std::string>(const char* name);
387
388 // ***** alias *****
389
390 void alias(const char* realname, std::initializer_list<const char*> aliases)
391 {
392   for (auto const& aliasname : aliases)
393     simgrid_config->alias(realname, aliasname);
394 }
395
396 // ***** declareFlag *****
397
398 template <class T>
399 XBT_PUBLIC void declareFlag(const char* name, const char* description, T value, std::function<void(const T&)> callback)
400 {
401   if (simgrid_config == nullptr)
402     simgrid_config = xbt_cfg_new();
403   simgrid_config->registerOption<T>(
404     name, description, std::move(value), std::move(callback));
405 }
406
407 template XBT_PUBLIC void declareFlag(const char* name, const char* description, int value,
408                                      std::function<void(int const&)> callback);
409 template XBT_PUBLIC void declareFlag(const char* name, const char* description, double value,
410                                      std::function<void(double const&)> callback);
411 template XBT_PUBLIC void declareFlag(const char* name, const char* description, bool value,
412                                      std::function<void(bool const&)> callback);
413 template XBT_PUBLIC void declareFlag(const char* name, const char* description, std::string value,
414                                      std::function<void(std::string const&)> callback);
415 }
416 }
417
418 // ***** C bindings *****
419
420 xbt_cfg_t xbt_cfg_new()
421 {
422   return new simgrid::config::Config();
423 }
424 void xbt_cfg_free(xbt_cfg_t * cfg) { delete *cfg; }
425
426 void xbt_cfg_dump(const char *name, const char *indent, xbt_cfg_t cfg)
427 {
428   cfg->dump(name, indent);
429 }
430
431 /*----[ Registering stuff ]-----------------------------------------------*/
432
433 void xbt_cfg_register_double(const char *name, double default_value,
434   xbt_cfg_cb_t cb_set, const char *desc)
435 {
436   if (simgrid_config == nullptr)
437     simgrid_config = xbt_cfg_new();
438   simgrid_config->registerOption<double>(name, desc, default_value, cb_set);
439 }
440
441 void xbt_cfg_register_int(const char *name, int default_value,xbt_cfg_cb_t cb_set, const char *desc)
442 {
443   if (simgrid_config == nullptr)
444     simgrid_config = xbt_cfg_new();
445   simgrid_config->registerOption<int>(name, desc, default_value, cb_set);
446 }
447
448 void xbt_cfg_register_string(const char *name, const char *default_value, xbt_cfg_cb_t cb_set, const char *desc)
449 {
450   if (simgrid_config == nullptr)
451     simgrid_config = xbt_cfg_new();
452   simgrid_config->registerOption<std::string>(name, desc, default_value ? default_value : "", cb_set);
453 }
454
455 void xbt_cfg_register_boolean(const char *name, const char*default_value,xbt_cfg_cb_t cb_set, const char *desc)
456 {
457   if (simgrid_config == nullptr)
458     simgrid_config = xbt_cfg_new();
459   simgrid_config->registerOption<bool>(name, desc, simgrid::config::parseBool(default_value), cb_set);
460 }
461
462 void xbt_cfg_register_alias(const char *realname, const char *aliasname)
463 {
464   if (simgrid_config == nullptr)
465     simgrid_config = xbt_cfg_new();
466   simgrid_config->alias(realname, aliasname);
467 }
468
469 void xbt_cfg_aliases() { simgrid_config->showAliases(); }
470 void xbt_cfg_help()    { simgrid_config->help(); }
471
472 /*----[ Setting ]---------------------------------------------------------*/
473
474 /** @brief Add values parsed from a string into a config set
475  *
476  * @param options a string containing the content to add to the config set. This is a '\\t',' ' or '\\n' or ','
477  * separated list of variables. Each individual variable is like "[name]:[value]" where [name] is the name of an
478  * already registered variable, and [value] conforms to the data type under which this variable was registered.
479  *
480  * @todo This is a crude manual parser, it should be a proper lexer.
481  */
482 void xbt_cfg_set_parse(const char *options)
483 {
484   if (not options || not strlen(options)) { /* nothing to do */
485     return;
486   }
487
488   XBT_DEBUG("List to parse and set:'%s'", options);
489   std::string optionlist(options);
490   while (not optionlist.empty()) {
491     XBT_DEBUG("Still to parse and set: '%s'", optionlist.c_str());
492
493     // skip separators
494     size_t pos = optionlist.find_first_not_of(" \t\n,");
495     optionlist.erase(0, pos);
496     // find option
497     pos              = optionlist.find_first_of(" \t\n,");
498     std::string name = optionlist.substr(0, pos);
499     optionlist.erase(0, pos);
500     XBT_DEBUG("parse now:'%s'; parse later:'%s'", name.c_str(), optionlist.c_str());
501
502     if (name.empty())
503       continue;
504
505     pos = name.find(':');
506     xbt_assert(pos != std::string::npos, "Option '%s' badly formatted. Should be of the form 'name:value'",
507                name.c_str());
508
509     std::string val = name.substr(pos + 1);
510     name.erase(pos);
511
512     const std::string path("path");
513     if (name.compare(0, path.length(), path) != 0)
514       XBT_INFO("Configuration change: Set '%s' to '%s'", name.c_str(), val.c_str());
515
516     (*simgrid_config)[name.c_str()].setStringValue(val.c_str());
517   }
518 }
519
520 /** @brief Set the value of a variable, using the string representation of that value
521  *
522  * @param key name of the variable to modify
523  * @param value string representation of the value to set
524  */
525
526 void xbt_cfg_set_as_string(const char *key, const char *value)
527 {
528   (*simgrid_config)[key].setStringValue(value);
529 }
530
531 /** @brief Set an integer value to \a name within \a cfg if it wasn't changed yet
532  *
533  * This is useful to change the default value of a variable while allowing
534  * users to override it with command line arguments
535  */
536 void xbt_cfg_setdefault_int(const char *key, int value)
537 {
538   (*simgrid_config)[key].setDefaultValue<int>(value);
539 }
540
541 /** @brief Set an integer value to \a name within \a cfg if it wasn't changed yet
542  *
543  * This is useful to change the default value of a variable while allowing
544  * users to override it with command line arguments
545  */
546 void xbt_cfg_setdefault_double(const char *key, double value)
547 {
548   (*simgrid_config)[key].setDefaultValue<double>(value);
549 }
550
551 /** @brief Set a string value to \a name within \a cfg if it wasn't changed yet
552  *
553  * This is useful to change the default value of a variable while allowing
554  * users to override it with command line arguments
555  */
556 void xbt_cfg_setdefault_string(const char *key, const char *value)
557 {
558   (*simgrid_config)[key].setDefaultValue<std::string>(value ? value : "");
559 }
560
561 /** @brief Set an boolean value to \a name within \a cfg if it wasn't changed yet
562  *
563  * This is useful to change the default value of a variable while allowing
564  * users to override it with command line arguments
565  */
566 void xbt_cfg_setdefault_boolean(const char *key, const char *value)
567 {
568   (*simgrid_config)[key].setDefaultValue<bool>(simgrid::config::parseBool(value));
569 }
570
571 /** @brief Set an integer value to \a name within \a cfg
572  *
573  * @param key the name of the variable
574  * @param value the value of the variable
575  */
576 void xbt_cfg_set_int(const char *key, int value)
577 {
578   (*simgrid_config)[key].setValue<int>(value);
579 }
580
581 /** @brief Set or add a double value to \a name within \a cfg
582  *
583  * @param key the name of the variable
584  * @param value the double to set
585  */
586 void xbt_cfg_set_double(const char *key, double value)
587 {
588   (*simgrid_config)[key].setValue<double>(value);
589 }
590
591 /** @brief Set or add a string value to \a name within \a cfg
592  *
593  * @param key the name of the variable
594  * @param value the value to be added
595  *
596  */
597 void xbt_cfg_set_string(const char* key, const char* value)
598 {
599   (*simgrid_config)[key].setValue<std::string>(value);
600 }
601
602 /** @brief Set or add a boolean value to \a name within \a cfg
603  *
604  * @param key the name of the variable
605  * @param value the value of the variable
606  */
607 void xbt_cfg_set_boolean(const char *key, const char *value)
608 {
609   (*simgrid_config)[key].setValue<bool>(simgrid::config::parseBool(value));
610 }
611
612
613 /* Say if the value is the default value */
614 int xbt_cfg_is_default_value(const char *key)
615 {
616   return (*simgrid_config)[key].isDefault() ? 1 : 0;
617 }
618
619 /*----[ Getting ]---------------------------------------------------------*/
620 /** @brief Retrieve an integer value of a variable (get a warning if not uniq)
621  *
622  * @param key the name of the variable
623  *
624  * Returns the first value from the config set under the given name.
625  */
626 int xbt_cfg_get_int(const char *key)
627 {
628   return (*simgrid_config)[key].getValue<int>();
629 }
630
631 /** @brief Retrieve a double value of a variable (get a warning if not uniq)
632  *
633  * @param key the name of the variable
634  *
635  * Returns the first value from the config set under the given name.
636  */
637 double xbt_cfg_get_double(const char *key)
638 {
639   return (*simgrid_config)[key].getValue<double>();
640 }
641
642 /** @brief Retrieve a string value of a variable (get a warning if not uniq)
643  *
644  * @param key the name of the variable
645  *
646  * Returns the first value from the config set under the given name.
647  * If there is more than one value, it will issue a warning.
648  * Returns nullptr if there is no value.
649  *
650  * \warning the returned value is the actual content of the config set
651  */
652 std::string xbt_cfg_get_string(const char* key)
653 {
654   return (*simgrid_config)[key].getValue<std::string>();
655 }
656
657 /** @brief Retrieve a boolean value of a variable (get a warning if not uniq)
658  *
659  * @param key the name of the variable
660  *
661  * Returns the first value from the config set under the given name.
662  * If there is more than one value, it will issue a warning.
663  */
664 int xbt_cfg_get_boolean(const char *key)
665 {
666   return (*simgrid_config)[key].getValue<bool>() ? 1 : 0;
667 }
668
669 #ifdef SIMGRID_TEST
670
671 #include <string>
672
673 #include "xbt.h"
674 #include "xbt/ex.h"
675 #include <xbt/ex.hpp>
676
677 #include <xbt/config.hpp>
678
679 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_cfg);
680
681 XBT_TEST_SUITE("config", "Configuration support");
682
683 XBT_PUBLIC_DATA xbt_cfg_t simgrid_config;
684
685 static void make_set()
686 {
687   simgrid_config = nullptr;
688   xbt_log_threshold_set(&_XBT_LOGV(xbt_cfg), xbt_log_priority_critical);
689   simgrid::config::declareFlag<int>("speed", "description", 0);
690   simgrid::config::declareFlag<std::string>("peername", "description", "");
691   simgrid::config::declareFlag<std::string>("user", "description", "");
692 }                               /* end_of_make_set */
693
694 XBT_TEST_UNIT("memuse", test_config_memuse, "Alloc and free a config set")
695 {
696   auto temp = simgrid_config;
697   make_set();
698   xbt_test_add("Alloc and free a config set");
699   xbt_cfg_set_parse("peername:veloce user:bidule");
700   xbt_cfg_free(&simgrid_config);
701   simgrid_config = temp;
702 }
703
704 XBT_TEST_UNIT("use", test_config_use, "Data retrieving tests")
705 {
706   auto temp = simgrid_config;
707   make_set();
708   xbt_test_add("Get a single value");
709   {
710     /* get_single_value */
711     xbt_cfg_set_parse("peername:toto:42 speed:42");
712     int ival = xbt_cfg_get_int("speed");
713     if (ival != 42)
714       xbt_test_fail("Speed value = %d, I expected 42", ival);
715   }
716
717   xbt_test_add("Access to a non-existant entry");
718   {
719     try {
720       xbt_cfg_set_parse("color:blue");
721     } catch(xbt_ex& e) {
722       if (e.category != not_found_error)
723         xbt_test_exception(e);
724     }
725   }
726   xbt_cfg_free(&simgrid_config);
727   simgrid_config = temp;
728 }
729
730 XBT_TEST_UNIT("c++flags", test_config_cxx_flags, "C++ flags")
731 {
732   auto temp = simgrid_config;
733   make_set();
734   xbt_test_add("C++ declaration of flags");
735
736   simgrid::config::Flag<int> int_flag("int", "", 0);
737   simgrid::config::Flag<std::string> string_flag("string", "", "foo");
738   simgrid::config::Flag<double> double_flag("double", "", 0.32);
739   simgrid::config::Flag<bool> bool_flag1("bool1", "", false);
740   simgrid::config::Flag<bool> bool_flag2("bool2", "", true);
741
742   xbt_test_add("Parse values");
743   xbt_cfg_set_parse("int:42 string:bar double:8.0 bool1:true bool2:false");
744   xbt_test_assert(int_flag == 42, "Check int flag");
745   xbt_test_assert(string_flag == "bar", "Check string flag");
746   xbt_test_assert(double_flag == 8.0, "Check double flag");
747   xbt_test_assert(bool_flag1, "Check bool1 flag");
748   xbt_test_assert(not bool_flag2, "Check bool2 flag");
749
750   xbt_cfg_free(&simgrid_config);
751   simgrid_config = temp;
752 }
753
754 #endif                          /* SIMGRID_TEST */