simgrid::config::declare_flag<double>(
property_sampling_rate, "How often should the dvfs plugin check whether the frequency needs to be changed?", 0.1);
simgrid::config::declare_flag<std::string>(
simgrid::config::declare_flag<double>(
property_sampling_rate, "How often should the dvfs plugin check whether the frequency needs to be changed?", 0.1);
simgrid::config::declare_flag<std::string>(