#ifndef SIMGRID_MC_FORWARD_HPP
#define SIMGRID_MC_FORWARD_HPP
-#ifndef __has_feature
- #define MC_OVERRIDE
-#else
- #if __has_feature(cxx_override_control)
- #define MC_OVERRIDE override
- #else
- #define MC_OVERRIDE
- #endif
-#endif
-
namespace simgrid {
namespace mc {
// Read memory:
const void* read_bytes(void* buffer, std::size_t size,
remote_ptr<void> address, int process_index = ProcessIndexAny,
- ReadMode mode = Normal) const MC_OVERRIDE;
+ ReadMode mode = Normal) const override;
void read_variable(const char* name, void* target, size_t size) const;
template<class T>
T read_variable(const char *name) const
~Snapshot();
const void* read_bytes(void* buffer, std::size_t size,
remote_ptr<void> address, int process_index = ProcessIndexAny,
- ReadMode mode = Normal) const MC_OVERRIDE;
+ ReadMode mode = Normal) const override;
public: // To be private
simgrid::mc::Process* process;
int num_state;